Cumincad : CUMINCAD Papers : Paper cdea:Theory of Recursive Functions and Effective Computability

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/html Access Temporarily Restricted

Access Temporarily Restricted

Too many requests detected. Please wait 60 seconds or verify that you are a human.

If you are a human user and need immediate access, you can click the button below to continue:

If you continue to experience issues, please open a ticket at papers.cumincad.org/helpdesk

last changed

2003/06/02 10:24