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, Cut-elimination Theorem and Brouwerian-valued Models for Intuitionistic Type Theory (1971) |
| Takahashi, Moto-o, On the Existence of Cohen Extensions (1972) |
| 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, A Determinate Logic |
| Takeuti, Gaisi, Boolean Valued Analysis |
| Takeuti, Gaisi, Boolean Valued Analysis I |
| Takeuti, Gaisi, Boolean Valued Completion of Uniformly Locally Compact Spaces |