Computability and Logic by Thornton W. Burgess, Richard C. Jeffrey & John P. Burgess