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

Takeuti, Gaisi, On Hierarchies of Perdicates of Ordinal Numbers
Takeuti, Gaisi, On the Weak Definability of Set Theory
Takeuti, Gaisi, Quantum Set Theory
Takeuti, Gaisi, Transcendency of Cardinals
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, On Limits of Sequences of Hyperarithmetical Functionals and Predicates (1966)
Tanaka, Hisao, On Limits of Sequences of Recursive Functions (1966)
Tanaka, Hisao, On Theories Formalized in the First-Order Predicate Logic with Infinitely Long Expressions (1966)