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