TY  - BOOK
AU  - Chang Chin-Lang
AU  -  Lee Richard Char-Tung
TI  - Symbolic logic and mechanical theorem proving
T2  - Computer science classics
U1  - B:(R1), L31;1 
PY  - 1973///
CY  - Boston
PB  - Academic Press        
KW  -  Automatic theorem Problem
KW  - Logic symbolic and mathematical
ER  -