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