Within computer science, I found "Introduction to the Theory of Computation" by Sipser to cover a lot of ground in a concise and comprehensible manner.