00647nam a2200157Ia 4500008004100000082001700041100002300058245009200081260005400173300000900227630001800236650009400254942000900348952011500357999001700472211109s9999||||xx |||||||||||||| ||und||  a511.3bMOS.A  aMostowski, Andrzej 0aSentences Undecidable in Formalized Arithmetic:An Explosion of the Theory of Kurt Godel  bNorth Holland Publishing CompanyaAmsterdamc1952  a115p  xGeneral Stack  aLogic, Symbolic and mathematicalvGeneral principles of mathematicsSemanticsxMathematics  cBOOK  00104070aSBCLbSBCLc2d2021-11-09g100.00l0o511.3 MOS.Ap00034389r2021-11-09 00:00:00w2021-11-09yBOOK  c33217d33217