Some proofs of undecidability of arithmetic
Grzegorczyk, Andrzej
Fundamenta Mathematicae, Tome 43 (1956), p. 166-177 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1956-01-01
EUDML-ID : urn:eudml:doc:213409 
@article{bwmeta1.element.bwnjournal-article-fmv43i2p166bwm,
     author = {Andrzej Grzegorczyk},
     title = {Some proofs of undecidability of arithmetic},
     journal = {Fundamenta Mathematicae},
     volume = {43},
     year = {1956},
     pages = {166-177},
     zbl = {0072.00502},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv43i2p166bwm}
}

Grzegorczyk, Andrzej. Some proofs of undecidability of arithmetic. Fundamenta Mathematicae, Tome 43 (1956) pp. 166-177. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv43i2p166bwm/