Computability and Logic, 2nd edition (1980)

by G S Boolos, R C Jeffrey