Geodesic
Some proofs of undecidability of arithmetic
Fundamenta Mathematicae, Tome 43 (1956) no. 2, pp. 166-177

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences 

Andrzej Grzegorczyk. Some proofs of undecidability of arithmetic. Fundamenta Mathematicae, Tome 43 (1956) no. 2, pp. 166-177. doi: 10.4064/fm-43-2-166-177
@article{10_4064_fm_43_2_166_177,
     author = {Andrzej Grzegorczyk},
     title = {Some proofs of undecidability of arithmetic},
     journal = {Fundamenta Mathematicae},
     pages = {166--177},
     year = {1956},
     volume = {43},
     number = {2},
     doi = {10.4064/fm-43-2-166-177},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-43-2-166-177/}
}
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
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  - 
%0 Journal Article
%A Andrzej Grzegorczyk
%T Some proofs of undecidability of arithmetic
%J Fundamenta Mathematicae
%D 1956
%P 166-177
%V 43
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-43-2-166-177/
%R 10.4064/fm-43-2-166-177
%G en
%F 10_4064_fm_43_2_166_177

Cité par Sources :