Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Notes on use

Note (General)：: "Translation from Japanese of the September 10, 1998 revision of Gaisi Takeuti's Gödel first published in 1986 by Nippon Hyoron Sha, LTD, Tokyo, Japan...

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 9812382798
Title: Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Author Heading: 竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )Authorities
Publication, Distribution, etc.: Singapore : World Scientific
River Edge, N.J. : World Scientific
Publication Date: c2003.
Publication Date (W3CDTF): 2003
Extent: xviii, 135 p. : ill., ports. ; 24 cm.
Alternative Title: Gödel and other logicians
Place of Publication (Country Code): SG
Text Language Code: eng
Subject Heading: Gödel, Kurt.
Proof theory.
NDLC: MA25
Note (General): "Translation from Japanese of the September 10, 1998 revision of Gaisi Takeuti's Gödel first published in 1986 by Nippon Hyoron Sha, LTD, Tokyo, Japan"--p. v.
Holding library: 国立国会図書館
Call No.: MA25-B6
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004187452
http://id.ndl.go.jp/bib/000004187452
RLIN No.: CUBGGLAD185028135-B
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 211