Computability and Logic

George S. Boolos , John P. Burgess , Richard C. Jeffrey