What Can Be Computed? : A Practical Guide to the Theory of Computation by… A nice touch in this textbook is the chapter review crossword puzzles.
