m
     
MathOuvrage

H 0 Gödel's theorems

Huber-Dyson, Verena

Teubner

1991

292 p. ; 21 cm

33664

intuitionnisme ; logique ; récursivité ; Gödel


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 33664 1013376 GALERIE (perdu 2012)
[non empruntable]

Sous-titre : a workbook on formalization

ISBN10 : 3-8154-2023-7

Type de doc : M

Ville d'édition : Leipzig ; Stuttgart

Pays d'édition : de

Langue ouvrage : eng

Collection : Teubner-texte zur mathematik

N° dans la collection : 122

ISSN Collection : 0138-502X

Bibliographie : Bibliogr. p. 283-288

Class. Math. 1991 : 03-01 ; 03D35 ; 03F40

Z