Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic (Fifth edition.). Cambridge University Press. https://doi.org/10.1017/CBO9780511804076
Chicago-Zitierstil (17. Ausg.)Boolos, George, John P. Burgess, und Richard C. Jeffrey. Computability and Logic. Fifth edition. Cambridge: Cambridge University Press, 2007. https://doi.org/10.1017/CBO9780511804076.
MLA-Zitierstil (9. Ausg.)Boolos, George, et al. Computability and Logic. Fifth edition. Cambridge University Press, 2007. https://doi.org/10.1017/CBO9780511804076.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.