Book
Introduction to the Theory of Computation
Introduction to the Theory of Computation Douban Goodreads Open LibraryThis market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.