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, 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) |

Yasuhara, Mitsuru, A Hierarchy of Algebraically Closed Models (1971) |

Yasuhara, Mitsuru, The Amalgamation Property, the Universal-Homogeneous Models, and the Generic Models (1972) |