Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1966_5_5_a2, author = {Yu. L. Ershov}, title = {New examples of undecidable theories}, journal = {Algebra i logika}, pages = {37--47}, publisher = {mathdoc}, volume = {5}, number = {5}, year = {1966}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1966_5_5_a2/} }
Yu. L. Ershov. New examples of undecidable theories. Algebra i logika, Tome 5 (1966) no. 5, pp. 37-47. http://geodesic.mathdoc.fr/item/AL_1966_5_5_a2/