Books by Gaisi Takeuti
Gaisi Takeuti
Average rating 3.88 · 17 ratings · 1 reviews · shelved 135 times
Average rating 3.88 · 17 ratings · 1 reviews · shelved 135 times
Showing 18 distinct works.
|
Proof Theory
by
—
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
|
|
|
直観主義的集合論 (1980年) (紀伊国屋数学叢書〈20〉)
by |
|
|
数学的世界観―現代数学の思想と展望 (1982年)
by |
|
|
ゲーデル
by |
|
|
層・圏・トポス―現代的集合像を求めて
by |
|
|
Senkei daisū to ryōshi rikigaku
by |
|
|
Shōmeiron nyūmon
by |
|
|
証明論入門
by |
|
|
現代集合論入門
by |
|
|
証明論と計算量
by |
|
|
PとNP―計算量の根本問題
by |
|
|
Two Applications of Logic to Mathematics (Publications of the Mathematical Society of Japan Book 3)
by |
|
|
Provability, Computability and Reflection
by
—
published
2000
|
|
|
Shūgō To Wa Nani Ka: Hajimete Manabu Hito No Tame Ni
by
—
published
2001
|
|
|
Two Applications of Logic to Mathematics
by
—
published
1978
—
4 editions
|
|
|
Logic Symposia, Hakone, 1979, 1980: Proceedings (Lecture Notes in Mathematics)
by
—
published
1981
—
3 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more books, click here.
