Sentences Undecidable in Formalized Arithmetic:An Explosion of the Theory of Kurt Godel
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
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