Recursion on the Countable Functionals [electronic resource] / by Dag Normann.
Material type: TextSeries: Lecture Notes in Mathematics ; 811Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980Description: X, 198 p. online resourceContent type:- text
- computer
- online resource
- 9783540381709
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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.
No physical items for this record
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.
There are no comments on this title.