TY  - BOOK
AU  - Chang, Chin-Liang
AU  - Lee, Richard Char-Tung
TI  - Symbolic Logic and Mechanical Theorem Proving
SN  - 0121703509
U1  - 511.31 
PY  - 1973///
CY  - New York
PB  - Acadamic
ER  -