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