Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic (5th ed.). Cambridge University Press.
Cita Chicago (17th ed.)Boolos, George, John P. Burgess, i Richard C. Jeffrey. Computability and Logic. 5th ed. Cambridge, New York: Cambridge University Press, 2007.
Cita MLA (9th ed.)Boolos, George, et al. Computability and Logic. 5th ed. Cambridge University Press, 2007.
Atenció: Aquestes cites poden no estar 100% correctes.