Mostowski, Andrzej
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel - Amsterdam North-Holland Publishing Company 1957 - 117 - Studies in logic and the foundations of mathematics .
510.6 MOS
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel - Amsterdam North-Holland Publishing Company 1957 - 117 - Studies in logic and the foundations of mathematics .
510.6 MOS