APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Chang, Chin-Liang, und Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving. New York [u.a.]: Acad. Press, 1973.

MLA-Zitierstil (9. Ausg.)

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