ranok rated Introduction to the Theory of Computation: 4 stars
Introduction to the Theory of Computation by Michael Sipser
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.