Computability and Logic (2007)

by G S Boolos, J P Burgess, R C Jeffrey