TY - JOUR AU - P. P. Lorents TI - On~constructive and enumerable sets JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1985 SP - 239 EP - 240 VL - 40 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_1985_40_3_a15/ LA - en ID - RM_1985_40_3_a15 ER -