Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Andrzej Mostowski.
Amsterdam : North-Holland, 1952.
viii, 117 págs. ; 22 cm.
Serie: Studies in logic and the foundations of mathematics
Incluye referencias bibliográficas (p. [116]-117).
Reseña: MathSciNet, 14,3a