TY  - BOOK
AU  - Mostowski Andrej
TI  - Sentences undedecidable in formalized arithmetic : an expansion of the theory of Kurt Godel
U1  - 511.3 
PY  - 1952///
CY  - Amsterdam
PB  - North-Holland
KW  - Godel's theorem
KW  - Mathematical logic
ER  -