TY  - JOUR
AU  - Yu. L. Ershov
AU  - I. A. Lavrov
AU  - A. D. Taimanov
AU  - M. A. Taitslin
TI  - Elementary theories
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1965
SP  - 35
EP  - 105
VL  - 20
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1965_20_4_a1/
LA  - en
ID  - RM_1965_20_4_a1
ER  -