Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Takeuti Gaishi)
Results:6items
Proof theory / Gaisi Takeuti.
v. 81. - Amsterdam : North-Holland , 1975. - New York : American Elsevier , 1975. - (Studies in logic and the foundations of mathematics ; v. 81)
Books
Two applications of logic to mathematics / by Gaishi Takeuti.
v. 13. - Tokyo : Iwanami Shoten , 1987. - 〓Tokyo〓 : Princeton University Press. , 1987. - (Publications of the Mathematical Society of Japan ; v. 13). - (Kano memorial lectures. v. 3)
v. 81. - 2nd ed.. - Amsterdam : North-Holland , 1987. - New York : Elsevier Science Pub. Co. , 1987. - (Studies in logic and the foundations of mathematics ; v. 81)
Axiomatic set theory / {by} G. Takeuti {and} W. M. Zaring.
New York : Springer-Verlag , {1973}. - (Graduate texts in mathematics ; 8)
Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti.
Warszawa : Panstwowe Wydawn. Naukowe , 1974. - (Dissertationes mathematicae)
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Muller, G. Takeuti, and T. Tugue.
891. - Berlin : Springer , 1981. - (Lecture notes in mathematics ; 891)