%0 Journal Article %A G. S. Tseitin %T A~method of presenting the theory of algorithms and enumerable sets %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1964 %P 69-98 %V 72 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_1964_72_a3/ %G ru %F TM_1964_72_a3