Computability and Logic (2003)

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