TY  - JOUR
AU  - Andrzej Grzegorczyk
TI  - Some proofs of undecidability of arithmetic
JO  - Fundamenta Mathematicae
PY  - 1956
SP  - 166
EP  - 177
VL  - 43
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-43-2-166-177/
DO  - 10.4064/fm-43-2-166-177
LA  - en
ID  - 10_4064_fm_43_2_166_177
ER  -