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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha