Computability and logic. - Boolos George; Jeffrey Richard (Cambridge Cambridge University Press, 1980)