Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functi
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functi
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. Additions to the second ed
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contr