Michael Sipser: Introduction to the Theory of Computation, 3rd international edition, 2012. amazon.co.uk, akademika.no.
Mest for moro
Christos H. Papadimitriou: Computational Complexity, 1993. Amazon.com.
George S. Boolos, John P. Burgess, Richard C. Jeffrey: Computability and Logic, 2007. Amazon.com.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation, 2006. Amazon.com.
James L. Hein: Discrete Structures, Logic, and Computability, 2010. Amazon.com. Fulltekst.
Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, Annie Di Donna: Logicomix: An Epic Search for Truth, 2009. Amazon.com.
Elwyn R. Berlekamp, John H. Conway, Richard K. Guy: Winning Ways for Your Mathematical Plays, 2001. Amazon.com.