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
| Takeuti, Gaisi, Boolean Valued Analysis II (1975) |
| Takeuti, Gaisi, Consistency Proofs and Ordinals (1975) |
| Takeuti, Gaisi, A Transfer Principle in Harmonic Analysis (1978) |
| Takeuti, Gaisi, Boolean Completion and m-Convergence (1980) |
| Takeuti, Gaisi ; Maehara, Shoji, The First-Order Predicate Logic with Infinitely Long Expressions with Equality (1962) |
| Takeuti, Gaisi ; Yasugi, Mariko, Fundamental Sequences of Ordinal Diagrams (1976) |
| Tamaka, Hisao, On the Axiom of Determinacy (1977) |
| Tanaka, Hisao, Recursion Theory in Analytical Hierarchy |
| Tanaka, Hisao, Research Works |
| Tanaka, Hisao, On Limits of Sequences of Hyperarithmetical Functionals and Predicates (1966) |