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