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

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