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