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
| Takahashi, Moto-o, On the Existence of Cohen Extensions (1972) |
| Takahashi, Moto-o, A Proof of Cut-Elimination Theorem in Simple Type-Theory |
| Takeno, Hyôitirô, The Mathematical Theory of Plane Gravitational Waves in General Relativity (1961) |
| Takeno, Hyôitirô, The Theory of Spherically Symmetric Space-Times (1963) |
| Takeuchi, Kensuke, On Free Modular Lattices II (1959) |
| Takeuti, G., Cut Elimination of Simple Type Theory |
| Takeuti, Gaisi, Construction of Ramified Real Numbers (1956) |
| Takeuti, Gaisi, On the Formal Theory of the Ordinal Diagrams (1958) |
| Takeuti, Gaisi, Abstract of 'Remarks on Cantor's Absolute II' (1961) |
| Takeuti, Gaisi, On the Fundamental Conjecture of GLC. VI (1961) |