APA Style

Chin, L, C. (). Symbolic Logic and Mechanical Theoren proving / . : .

MLA Style

Chin, Liang, Chang. "Symbolic Logic and Mechanical Theoren proving /". : , . .