m
MathOuvrage

H 0 Sentences undecidable in formalized arithmetic

Mostowski, Andrzej

North-Holland

1952

viii, 117

3901


Exemplaires

Nbre d'exemplaires : 1
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

Z