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