Monographie
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Mostowski, Andrej ; Turquette, Atwell R.
1952
viii, 117 p.
MOSTOWSKI s
logique ; non-décidabilité ; théorème de Gödel
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03B25 ; 03F40
Pays d'édition : Pays-Bas
Ville d'édition : Amsterdam
Langue : anglais
Format : 22 cm
Collection : Studies in logic and the foundations of mathematics
Bibliographie : Bibliogr. p. 116-117
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | MOSTOWSKI s MAT009618 | [disponible] | YRéserver |