Gaisi Takeuti
|
Proof Theory
—
published
1975
—
6 editions
|
|
|
Memoirs of a Proof Theorist: Gödel and Other Logicians
by
—
published
2003
—
2 editions
|
|
|
Axiomatic Set Theory
by
—
published
1973
—
5 editions
|
|
|
Two Applications of Logic to Mathematics
—
published
1978
—
4 editions
|
|
|
Shūgō To Wa Nani Ka: Hajimete Manabu Hito No Tame Ni
—
published
2001
|
|
|
Provability, Computability and Reflection
by
—
published
2000
|
|
|
Two Applications of Logic to Mathematics (Publications of the Mathematical Society of Japan Book 3)
|
|
|
PとNP―計算量の根本問題
|
|
|
証明論と計算量
|
|
|
現代集合論入門
|
|
Is this you? Let us know. If not, help out and invite Gaisi to Goodreads.



