Andrzej Mostowski. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1952, VIII + 117 pp.
Gisbert Hasenjaeger · Journal of Symbolic Logic · 1954
Andrzej Mostowski. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1952, VIII + 117 pp. - Volume 19 Issue 2