Computability and Complexity
A clear, comprehensive, and rigorous introduction to the theory of computation.
Read more