Vista normal Vista MARC Vista ISBD

Takeuti, Gaisi, 1926-

Memoirs of a proof theorist : Godel and other logicians / Godel and other logicians [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell - Rev. ed. - xviii, 135 páginas : ilustraciones

Traduccion de: Gederu : Kurt Godel. Tokyo : Nippon Hyoron Sha, 1986

ISBN: 9812382798

Subjects--Personal Names:
Gödel, Kurt

Subjects--Topical Terms:
Teoría de la demostración

LC Class. No.: QA9.54 / T338