TY  - JOUR
AU  - M. E. Zhukovskii
TI  - The spectra of first-order formulae having low quantifier rank
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2015
SP  - 1176
EP  - 1178
VL  - 70
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2015_70_6_a7/
LA  - en
ID  - RM_2015_70_6_a7
ER  -