9 treff

Memoirs of a proof theorist : Gödel and other logicians
Takeuti, Gaisi
Bok Engelsk 2003
Proof theory
Gaisi Takeuti
Bok Språk ikke angitt 1987
Introduction to axiomatic set theory
Gaisi Takeuti, Wilson M. Zaring
Bok Engelsk 1982
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. Müller, G. Takeuti, and T...
Bok Språk ikke angitt 1981
Two applications of logic to mathematics
Takeuti, Gaisi
Bok Engelsk 1978
Proof theory
Takeuti, Gaisi
Bok Språk ikke angitt 1975
Proof theory
Gaisi Takeuti
Bok Språk ikke angitt 1975
Axiomatic set theory
Takeuti, Gaisi
Bok Engelsk 1973
Introduction to axiomatic set theory
Takeuti, Gaisi
Bok Språk ikke angitt 1971