Παραπομπή APA
Chang, C., & Lee, R. C. (1987). Symbolic logic and mechanical theorem proving. Boston: Academic Press.
Παραπομπή Chicago StyleChang, Chin-Liang, and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Boston: Academic Press, 1987.
Παραπομπή MLAChang, Chin-Liang, and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Boston: Academic Press, 1987.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.