Recursion theory

Recursion theory, or computability theory, is a branch of mathematical logic dealing with generalizations of the notion of computable function, and with related notions such as Turing degrees and effective descriptive set theory.

References

Hartley Rogers, Jr., The Theory of Recursive Functions and Effective Computability, MIT Press, ISBN 0262680521 (paperback), ISBN 0070535221 (textbook)

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

The content of this page is retrieved from http://en.wikipedia.org/wiki/Recursion_theory under GFDL