Login

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)