A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Yasugi, Mariko, A Formalization of Od($\Omega$) (1978) |

Yasugi, Mariko, Self-Iterating Schemes of Ordinal Diagrams (1978) |

Yasugi, Mariko, A Progression of Consistency Proofs (1980) |

Yasuhara, Mitsuru, Completeness of Cut-Free Type Theories |

Yasuhara, Mitsuru, The Cut-Elimination Theorem in the Unary Second-Order Language |

Yasuhara, Mitsuru, Incompleteness of Lp Languages (1967) |

Yasuhara, Mitsuru, Incompleteness of Lp Languages (Revised Version) (1968) |

Yasuhara, Mitsuru, On a Problem of Mostowski on Finite Spectra (1969) |

Yasuhara, Mitsuru, The Generic Structures as a Variety (1970) |

Yasuhara, Mitsuru, The Interpolation Theorem for Languages with Additional Quantifiers (1970) |