Sentences Undecidable in Formalized Arithmetic:An Explosion of the Theory of Kurt Godel - Mostowski, Andrzej (North Holland Publishing Company Amsterdam, 1952)
Keywords: General Stack; Logic, Symbolic and mathematical -- General principles of mathematicsSemantics -- Mathematics