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