Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : Takeuchi, Gaishi (1926-2017)  Voir les notices liées en tant qu'auteur

Titre(s) : Memoirs of a proof theorist [Texte imprimé] : Gödel and other logicians / [Gaisi Takeuti] ; [translated by] Mariko Yasugi,... Nicholas Passell,...

Traduction de : Gödel

Édition : Rev. ed

Publication : River Edge (N. J.) ; London ; Singapore [etc.] : World Scientific, cop. 2003

Description matérielle : XVIII-135 p. : ill. ; 24 cm

Note(s) : Trad. du japonais : "Gödel", Tokyo : Nippon Hyoron Sha, 1986. - Notes bibliogr.

Autre(s) auteur(s) : Yasugi, Mariko. Traducteur  Voir les notices liées en tant qu'auteur
Passell, Nicholas. Traducteur  Voir les notices liées en tant qu'auteur

Sujet(s) : Gödel, Kurt (1906-1978)  Voir les notices liées en tant que sujet
Logiciens  Voir les notices liées en tant que sujet
Théorie de la démonstration  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 981-238-279-8 (rel.)

Identifiant de la notice  : ark:/12148/cb39002630p

Notice n° :  FRBNF39002630 (notice reprise d'un réservoir extérieur)