Mostowski, Andrzej

Sentences Undecidable in Formalized Arithmetic:An Explosion of the Theory of Kurt Godel - Amsterdam North Holland Publishing Company 1952 - 115p

--General Stack


Logic, Symbolic and mathematical--Mathematics--General principles of mathematicsSemantics

511.3 / MOS.A