Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Boolos, George S., Richard Jeffrey, και John P. Burgess. Computability and Logic. 4th ed. Cambridge: Cambridge University Press, 2002.

Παραπομπή σε μορφή MLA (8th εκδ.)

Boolos, George S., et al. Computability and Logic. 4th ed. Cambridge University Press, 2002.