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