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% ακριβείς.