H Gödel's theorems
1991
292 p. ; 21 cm
33664
N° | 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