TY - JOUR AU - V. A. Nepomnyashchii TI - A basis for recursively-enumerable sets JO - Doklady Akademii Nauk PY - 1966 SP - 1262 EP - 1264 VL - 170 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1966_170_6_a6/ LA - ru ID - DAN_1966_170_6_a6 ER -