TY  - JOUR
AU  - A. A. Muchnik
TI  - Solution of Post's reduction problem and of certain other problems in the theory of algorithms.~I
JO  - Trudy Moskovskogo matematičeskogo obŝestva
PY  - 1958
SP  - 391
EP  - 405
VL  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MMO_1958_7_a9/
LA  - ru
ID  - MMO_1958_7_a9
ER  -