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