TY  - BOOK
AU  - Chin-Liang Chang Richard Char-Tung Lee
TI  - Symbolic logic and mechanical theorem proving
SN  - 0-12-170350-9
U1  - 005.131 
PY  - 1973///
CY  - London
PB  - Academic Press
KW  - Computer science
KW  - Symoblic logic
N1  - Text book collection( TBL )
ER  -