Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1963_2_4_a0, author = {R. M. Robinson}, title = {Undecidability of the elementary theory of the field of rational}, journal = {Algebra i logika}, pages = {5--11}, publisher = {mathdoc}, volume = {2}, number = {4}, year = {1963}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1963_2_4_a0/} }
R. M. Robinson. Undecidability of the elementary theory of the field of rational. Algebra i logika, Tome 2 (1963) no. 4, pp. 5-11. http://geodesic.mathdoc.fr/item/AL_1963_2_4_a0/