Recursion on the Countable Functionals [electronic resource] / by Dag Normann.
Material type:
TextSeries: Lecture Notes in Mathematics ; 811Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK691 |
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.
Log in to your account to post a comment.