Computability and logic - Boolos George; Jefrey Richard (Cambridge Cambridge University Press, 1980)
Keywords: PHILOSOPHY