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

Boolos, G. S., & Jeffrey, R. C. (1989). Computability and logic (3rd ed.). Cambridge University Press.

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

Boolos, George S., και Richard C. Jeffrey. Computability and Logic. 3rd ed. Cambridge: Cambridge University Press, 1989.

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

Boolos, George S., και Richard C. Jeffrey. Computability and Logic. 3rd ed. Cambridge University Press, 1989.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.