TY - JOUR AU - Yu. L. Ershov TI - Positive equivalences JO - Algebra i logika PY - 1971 SP - 620 EP - 650 VL - 10 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1971_10_6_a1/ LA - ru ID - AL_1971_10_6_a1 ER -