Boolos, G. S., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic (5th ed.). Cambridge: Cambridge University Press.
Παραπομπή Chicago StyleBoolos, George S., John P. Burgess, and Richard C. Jeffrey. Computability and Logic. 5th ed. Cambridge: Cambridge University Press, 2007.
Παραπομπή MLABoolos, George S., John P. Burgess, and Richard C. Jeffrey. Computability and Logic. 5th ed. Cambridge: Cambridge University Press, 2007.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.