H Sentences undecidable in formalized arithmetic
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 3901 | 1017617 | GALERIE |
Sous-titre : an exposition of the theory of Kurt Goedel
Type de doc : M
Ville d'édition : Amsterdam
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
ISSN Collection : 0049-237X
Lien SUDOC : https://www.sudoc.fr/014937999