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