Computability and Logic (2002)

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