Return to Article Details George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic, Fourth edition, Cambridge: Cambridge University Press 2003, pp. 355 + 12. ISBN 0-521-00758-5 Download Download PDF