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




Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024