Automata, Computability and Complexity: Theory & Applications

Computable Functions

Recursive Function Theory

The Recursion Theorem and its Use