TY  - BOOK
AU  - Chang Ching-Liang
AU  -  Lee Richard Char-Tung
TI  - Symbolic logic and mechanical theorem proving
U1  - R140aD, L3 
PY  - 1973///
ER  -