TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Memoirs of a proof theorist: Gödel and other logicians 
SN  - 9812382798
AV  - QA9.54 .T2813 2003
PY  - 2003///
CY  - River Edge, NJ
PB  - World Scientific
KW  - Gödel, Kurt.
KW  - Proof theory
N1  - Includes bibliographical references
ER  -