| authors |
Rogers, Hartley Jr. |
| year |
1987 |
| title |
Theory of Recursive Functions and Effective Computability |
| source |
xxi, 482 p. Cambridge, Mass.: the MIT Press, 1987. includes bibliography: p.459-468 and index |
| summary |
Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees in particular. A second group of topics has to do with generalizations of recursion theory. The third topics group mentioned is subrecursive computability and subrecursive hierarchies |
| keywords |
computation, recursion, theory |
| series |
CADline |
| references |
Content-type: text/plain
|
| last changed |
2003/06/02 10:24 |
|
