TY - JOUR AU - A. G. Pinus TI - Eliminability of the quantifiers $Q_0$ and $Q_1$ on symmetric groups JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1979 SP - 45 EP - 47 IS - 12 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1979_12_a6/ LA - ru ID - IVM_1979_12_a6 ER -