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, A Determinate Logic (1970)
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, A Determinate Logic
Takeuti, Gaisi, Boolean Valued Analysis
Takeuti, Gaisi, Boolean Valued Analysis I
Takeuti, Gaisi, Boolean Valued Completion of Uniformly Locally Compact Spaces
Takeuti, Gaisi, Logic and Set Theory