Computability and Logic (third edition (1989)

by George S Boolos, Richard C Jeffrey