Computability and logic (2002)

by G Boolos, J Burgess, R Jeffrey