Geodesic
Equivalence of normal algorithms and recursive functions
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 75-139

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{TM_1958_52_a3,
     author = {V. K. Detlovs},
     title = {Equivalence of normal algorithms and recursive functions},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {75--139},
     publisher = {mathdoc},
     volume = {52},
     year = {1958},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1958_52_a3/}
}
TY  - JOUR
AU  - V. K. Detlovs
TI  - Equivalence of normal algorithms and recursive functions
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1958
SP  - 75
EP  - 139
VL  - 52
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1958_52_a3/
LA  - ru
ID  - TM_1958_52_a3
ER  - 
%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
V. K. Detlovs. Equivalence of normal algorithms and recursive functions. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 75-139. http://geodesic.mathdoc.fr/item/TM_1958_52_a3/