Normal view MARC view ISBD view

Memoirs of a proof theorist :

Takeuti, Gaisi, 1926-

Memoirs of a proof theorist : Gödel and other logicians / Proof theorist [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. - [Rev. ed.]. - River Edge, NJ : World Scientific, c2003. - xviii, 135 p. : ill. ; 24 cm.

Includes bibliographical references.

ISBN: 9812382798

LCCN: 2003278179

Subjects--Personal Names:
Gödel, Kurt.

Subjects--Topical Terms:
Proof theory.

LC Class. No.: QA9.54 / .T2813 2003

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Raman Research Institute Library OPAC

Memoirs of a proof theorist :