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