Computability and logic - Boolos, George S. (Cambridge, 2003)