|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1958, Volume 52, Pages 75–139
(Mi tm1293)
|
|
|
|
Equivalence of normal algorithms and recursive functions
V. K. Detlovs
Citation:
V. K. Detlovs, “Equivalence of normal algorithms and recursive functions”, Problems of the constructive direction in mathematics. Part 1, Trudy Mat. Inst. Steklov., 52, Acad. Sci. USSR, Moscow–Leningrad, 1958, 75–139
Linking options:
https://www.mathnet.ru/eng/tm1293 https://www.mathnet.ru/eng/tm/v52/p75
|
|