Computability and Logic by G.S. Boolos and R.C. Jeffrey