TY  - BOOK
AU  - Chang, Chin-Liang
TI  - Symbolic Logic and Mechanical Theorem Proving
SN  - 9780080917283
PY  - 0000///Legacy
CY  - ACADEMIC PRESS
PB  - Elsevier
UR  - https://www.sciencedirect.com/science/book/9780080917283
ER  -