Sentences undecidable in formalized arithmetic: an exposition of the theory of kurt godel - Mostowski, Andrzej (NORTH-HOLLAND PUB-CO AMSTERDAM, 1957)
Keywords: MATHEMATICS