[groovy2shoes]

Sipser's text on the theory of computation is quite good.

[nandemo]

Yes.

I also like Papadimitriou's textbooks: Elements of the Theory of Computation and Computational Complexity.