APA-Zitierstil (7. Ausg.)

Chang, C., & Lee, R. C. (1980). Symbolic logic and mechanical theorem proving (4. print.). Acad. Press.

Chicago-Zitierstil (17. Ausg.)

Chang, Chin-Liang, und Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving. 4. print. Boston u.a: Acad. Press, 1980.

MLA-Zitierstil (9. Ausg.)

Chang, Chin-Liang, und Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving. 4. print. Acad. Press, 1980.