Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1962_1_3_a3, author = {I. A. Lavrov}, title = {Undecidability of elementary theories of certain rings}, journal = {Algebra i logika}, pages = {39--45}, publisher = {mathdoc}, volume = {1}, number = {3}, year = {1962}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1962_1_3_a3/} }
I. A. Lavrov. Undecidability of elementary theories of certain rings. Algebra i logika, Tome 1 (1962) no. 3, pp. 39-45. http://geodesic.mathdoc.fr/item/AL_1962_1_3_a3/