Mostowski, Andrzej Sentences undecidable in formalized arithmetic: an exposition of the theory of kurt godel - AMSTERDAM NORTH-HOLLAND PUB-CO 1957 - VIII, 117p p. Subjects--Index Terms: MATHEMATICS