Sentences Undecidable In Formalized Arithmetic: An Exposition of the Theory of Kurt Godel

Mostowski, Andrzej

Sentences Undecidable In Formalized Arithmetic: An Exposition of the Theory of Kurt Godel Andrzej Mostowski - - Amsterdam North-Holland Publishing Company 1952 - 117p. - Studies In Logic And the Foundations of Mathematics .






Mathematics

510 / MOS

Powered by Koha