Mostowski, Andrzej

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

MATHEMATICS