Computability and logic - Boolos, George S. (Cambridge University Press, 2002)