Recursion on the countable functionals
By: Dag Normann.
Series: Lecture notes in mathematics ; 811; Lecture notes in mathematics (Springer-Verlag) ;; 811.
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin; New York
Language: eng
Number of pages: 190
Subjects: Recursion theory.; Computable functions.; Functionals.
Notes: Bibliography: p. 186-187.
Includes index.