Memoirs of a proof theorist
Takeuti, Gaisi, 1926-
Memoirs of a proof theorist Gödel and other logicians / [electronic resource] : Proof theorist [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. - [Rev. ed.]. - River Edge, NJ : World Scientific, c2003. - xviii, 135 p. : ill.
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Gödel, Kurt.
Proof theory.
Electronic books.
QA9.54 / .T2813 2003eb
Memoirs of a proof theorist Gödel and other logicians / [electronic resource] : Proof theorist [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. - [Rev. ed.]. - River Edge, NJ : World Scientific, c2003. - xviii, 135 p. : ill.
Includes bibliographical references.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Gödel, Kurt.
Proof theory.
Electronic books.
QA9.54 / .T2813 2003eb