عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.811
QA
1
.
L4
v
.
811
کتابخانه
محل استقرار
English
Recursion on the countable functionals
Berlin, New York
Springer-Verlag
1980
viii, 190 p. ; 25 cm
Lecture notes in mathematics ; 118
Bibliography: p. 186-187
Includes index
Dag Normann
1
، Recursion theory
، Computable functions
، Functionals
QA
1
.
L4
v
.
811
CA
510
s
7491-
Normann, Dag
AU
TI
SE
