APA (7th ed.) Citation

Chang, C., & Lee, R. C. (1987). Symbolic logic and mechanical theorem proving (Repr.). Acad. Pr.

Chicago Style (17th ed.) Citation

Chang, Chin-Liang, and Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving. Repr. Boston u.a: Acad. Pr, 1987.

MLA (9th ed.) Citation

Chang, Chin-Liang, and Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving. Repr. Acad. Pr, 1987.