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

Yasuhara, Mitsuru, A Consistency Proof of Analysis (1974)
Yasuhara, Mitsuru, Completeness of Cut-Free Type Theories
Yasuhara, Mitsuru, The Cut-Elimination Theorem in the Unary Second-Order Language
Yates, C. E. M., On the Degrees of Index Sets (1964)
Yates, C. E. M., Initial Segments and Implications for the Structure of Degrees (1970)
Yonemitsu, Naoto, On Systems of Strict Implication (1951)
Yonemitsu, Naoto, A Decision Method and a Topological Interpretation for Systems of Logical Implication (1954)
Yonemitsu, Naoto, A Note on Systems of Logical Implication (1954)
Yonemitsu, Naoto, A Note on Modal Systems von Wright's M and Lewis's S1 (1955)
Yonemitsu, Naoto, A Note on Modal Systems (II) (1957)