TY  - BOOK
AU  - Motowaski , Andrzej
TI  - Sentences undecidable in formalized arithmetic
PY  - 1952///
CY  - AMSTERDAM
PB  - NORTH-HOLLAND PUBLISHING COMPANY
KW  - MATHEMATICS
ER  -