Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MAT_1964_8_5_a0, author = {Julia Robinson}, title = {Existential definability in arithmetic}, journal = {Matematika}, pages = {3--14}, publisher = {mathdoc}, volume = {8}, number = {5}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a0/} }
Julia Robinson. Existential definability in arithmetic. Matematika, Tome 8 (1964) no. 5, pp. 3-14. http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a0/