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

DOI : 10.4064/fm-43-2-166-177

Andrzej Grzegorczyk 1

1 
@article{10_4064_fm_43_2_166_177,
     author = {Andrzej Grzegorczyk},
     title = {Some proofs of undecidability of arithmetic},
     journal = {Fundamenta Mathematicae},
     pages = {166--177},
     publisher = {mathdoc},
     volume = {43},
     number = {2},
     year = {1956},
     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
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  - 
%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
%I mathdoc
%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
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

Cité par Sources :