Computability and Logic, volume Third edition (1988)

by G Boolos, R Jeery