TY  - JOUR
AU  - Yu. L. Ershov
TI  - Eliminability of quantifiers in regularly closed fields
JO  - Doklady Akademii Nauk
PY  - 1981
SP  - 16
EP  - 20
VL  - 258
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1981_258_1_a1/
LA  - ru
ID  - DAN_1981_258_1_a1
ER  -