@article{RM_1965_20_4_a1, author = {Yu. L. Ershov and I. A. Lavrov and A. D. Taimanov and M. A. Taitslin}, title = {Elementary theories}, journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova}, pages = {35--105}, publisher = {mathdoc}, volume = {20}, number = {4}, year = {1965}, language = {en}, url = {http://geodesic.mathdoc.fr/item/RM_1965_20_4_a1/} }