Title: Memoirs of a proof theorist : Gödel and other logicians /
Authors: Takeuti, Gaisi, 1926-2017.
Publisher: World Scientific,
Year: 2003
Subjects: Gödel, Kurt.; Proof theory.