Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Chang, Chin-Liang, y Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1973.

Cita MLA (9a ed.)

Chang, Chin-Liang, y Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.