%0 Journal Article %A V. K. Detlovs %T Equivalence of normal algorithms and recursive functions %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1958 %P 75-139 %V 52 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_1958_52_a3/ %G ru %F TM_1958_52_a3