Books by Gaisi Takeuti

Gaisi Takeuti
Gaisi Takeuti
Average rating 3.88 · 17 ratings · 1 reviews · shelved 135 times


Showing 18 distinct works.
sort by

Proof Theory

by
really liked it 4.00 avg rating — 9 ratings — published 1975 — 6 editions
Rate this book
Clear rating
Memoirs of a Proof Theorist...

by
3.71 avg rating — 7 ratings — published 2003 — 2 editions
Rate this book
Clear rating
Axiomatic Set Theory

by
really liked it 4.00 avg rating — 1 rating — published 1973 — 5 editions
Rate this book
Clear rating
直観主義的集合論 (1980年) (紀伊国屋数学叢書〈...

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
数学的世界観―現代数学の思想と展望 (1982年)

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
ゲーデル

by
0.00 avg rating — 0 ratings2 editions
Rate this book
Clear rating
層・圏・トポス―現代的集合像を求めて

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
Senkei daisū to ryōshi ...

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
Shōmeiron nyūmon

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
証明論入門

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
現代集合論入門

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
証明論と計算量

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
PとNP―計算量の根本問題

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
Two Applications of Logic t...

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
Provability, Computability ...

by
0.00 avg rating — 0 ratings — published 2000
Rate this book
Clear rating
Shūgō To Wa Nani Ka: Hajime...

by
0.00 avg rating — 0 ratings — published 2001
Rate this book
Clear rating
Two Applications of Logic t...

by
0.00 avg rating — 0 ratings — published 1978 — 4 editions
Rate this book
Clear rating
Logic Symposia, Hakone, 197...

by
0.00 avg rating — 0 ratings — published 1981 — 3 editions
Rate this book
Clear rating


* Note: these are all the books on Goodreads for this author. To add more books, click here.