RUS
ENG
Full version
JOURNALS
// Trudy Matematicheskogo Instituta imeni V.A. Steklova
// Archive
Trudy Mat. Inst. Steklov.,
1958
Volume 52,
Pages
75–139
(Mi tm1293)
Equivalence of normal algorithms and recursive functions
V. K. Detlovs
Fulltext:
PDF file (4073 kB)
Page by page
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024