TY - BOOK AU - Mostowski, Andrzej TI - Sentences Undecidable In Formalized Arithmetic: An Exposition of the Theory of Kurt Godel U1 - 510 PY - 1952/// CY - Amsterdam PB - North-Holland Publishing Company KW - Mathematics ER -