| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 3394215 (Why is no real title available?) | 1966-01-01 | Paper |
An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines
Nagoya Mathematical Journal | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3142896 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3149976 (Why is no real title available?) | 1959-01-01 | Paper |
An investigation on the logical structure of mathematics. II: Transformation of proof
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | 1959-01-01 | Paper |
An investigation on the logical structure of mathematics (V). Contradictions of Russell's type
Journal of Symbolic Logic | 1959-01-01 | Paper |
An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))
Nagoya Mathematical Journal | 1959-01-01 | Paper |
An Investigation on the Logical Structure of Mathematics (VII): Set-Theoretical Contradictions
Nagoya Mathematical Journal | 1959-01-01 | Paper |
An Investigation on the Logical Structure of Mathematics (VIII):: Consistency of the Natural-Number Theory T<sub>1</sub>(N)
Nagoya Mathematical Journal | 1959-01-01 | Paper |
An investigation on the logical structure of mathematics. I. A logical system
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | 1958-01-01 | Paper |
An Investigation on the Logical Structure of Mathematics (III): Fundamental Deductions
Nagoya Mathematical Journal | 1958-01-01 | Paper |
An investigation on the logical structure of mathematics, XII. The principle of extensionality and of choice
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1958-01-01 | Paper |
Intuitionistische Untersuchungen der formalistischen Logik
Nagoya Mathematical Journal | 1951-01-01 | Paper |
Über die Zerlegung rationaler Primzahlen in gewissen nicht-abelschen Galoisschen Körpern
Journal of the Mathematical Society of Japan | 1951-01-01 | Paper |
Über die Klassenzahlen algebraischer Zahlkörper
Nagoya Mathematical Journal | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3099584 (Why is no real title available?) | 1943-01-01 | Paper |
Über die Pellsche Gleichung
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1943-01-01 | Paper |
Über die Approximation quadratischer Irrationalitäten durch rationale.
Proceedings of the Imperial Academy of Japan | 1936-01-01 | Paper |
Über die Approximation quadratischer Irrationalzahlen durch rationale
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1936-01-01 | Paper |
Verschärfung des Thue-Siegelschen Satzes über die Approximation algebraischer Zahlen.
Proceedings of the Imperial Academy of Japan | 1934-01-01 | Paper |
Verschärfung des Thue-Siegelschen Satzes über die Approximation algebraischer Zahlen
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1934-01-01 | Paper |
Zur Algebra der Logik. III.
Proceedings of the Imperial Academy of Japan | 1931-01-01 | Paper |
Zur Algebra der Logik, III
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1931-01-01 | Paper |
Zur Algebra der Logik. I, II.
Proceedings of the Imperial Academy of Japan | 1930-01-01 | Paper |
