Franklin

Computability and logic.

MLA

Boolos, George, John P Burgess, and Richard C Jeffrey. Computability and Logic. 4th ed. / Cambridge: Cambridge University Press, 2002.

APA

Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2002). Computability and logic. 4th ed. / Cambridge: Cambridge University Press.

Chicago

Boolos, George., John P. Burgess, and Richard C Jeffrey. Computability and Logic. 4th ed. / Cambridge: Cambridge University Press, 2002.