Annual Member
| Author | Normann, Dag. author |
|---|---|
| Title | Recursion on the Countable Functionals [electronic resource] / by Dag Normann |
| Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1980 |
| Connect to | http://dx.doi.org/10.1007/BFb0098600 |
| Descript | X, 198 p. online resource |
The maximal type structure -- The countable functionals -- Ct(n) as a topological space -- Computability vs recursion -- The computable structure on Ct(k) -- Sections -- Some further results and topics
