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