Sentences undedecidable in formalized arithmetic : an expansion of the theory of Kurt Godel - Mostowski Andrej (Amsterdam North-Holland, 1952)
Keywords: Godel's theorem; Mathematical logic