Memoirs of a proof theorist : Gödel and other logicians /

Bibliographic Details

Main Author:	Takeuti, Gaisi, 1926-2017
Format:	Book
Language:	English
Published:	Singapore ; River Edge, NJ : World Scientific, [2003]
Edition:	Rev. ed.
Subjects:	Proof theory. Gödel, Kurt.