Computational Complexity: A Modern Approach

Sanjeev Arora, Boaz Barak

Planned

Computability & Complexity

In the wiki:Theory of Computation