TY - JOUR AU - A. A. Muchnik TI - Isomorphism of systems of recursively enumerable sets with effective properties JO - Trudy Moskovskogo matematičeskogo obŝestva PY - 1958 SP - 407 EP - 412 VL - 7 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MMO_1958_7_a10/ LA - ru ID - MMO_1958_7_a10 ER -