TY - JOUR AU - M. I. Kanovich TI - Complexity of the decidability of an enumerable set as a criterion of its universality JO - Doklady Akademii Nauk PY - 1970 SP - 500 EP - 503 VL - 194 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1970_194_3_a4/ LA - ru ID - DAN_1970_194_3_a4 ER -