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