Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic (5. ed.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Boolos, George, John P. Burgess, und Richard C. Jeffrey. Computability and Logic. 5. ed. Cambridge [u.a.]: Cambridge Univ. Press, 2007.
MLA-Zitierstil (9. Ausg.)Boolos, George, et al. Computability and Logic. 5. ed. Cambridge Univ. Press, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.