TY - JOUR AU - A. M. Sebel'din TI - Definability of separable torsion-free abelian groups by JO - Algebra i logika PY - 1995 SP - 523 EP - 530 VL - 34 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1995_34_5_a2/ LA - ru ID - AL_1995_34_5_a2 ER -