Gaisi Takeuti

Gaisi Takeuti's books

Proof Theory

really liked it 4.00 avg rating — 9 ratings

Memoirs of a Proof Theorist: Gödel and Other Logicians

3.71 avg rating — 7 ratings

Axiomatic Set Theory

really liked it 4.00 avg rating — 1 rating

Two Applications of Logic to Mathematics

0.00 avg rating — 0 ratings

Shūgō To Wa Nani Ka: Hajimete Manabu Hito No Tame Ni

0.00 avg rating — 0 ratings

Provability, Computability and Reflection

0.00 avg rating — 0 ratings

Two Applications of Logic to Mathematics (Publications of the Mathematical Society of Japan Book 3)

0.00 avg rating — 0 ratings

PとNP―計算量の根本問題

0.00 avg rating — 0 ratings

証明論と計算量

0.00 avg rating — 0 ratings

現代集合論入門

0.00 avg rating — 0 ratings