TY  - BOOK
AU  - Chang Chin-Liang
AU  -  Lee Richard Char-Tung
TI  - Symbolic logic and mechanical theorem proving
T2  - Computer Science and Applied Mathematics : A Series of Monogrraphs and Textbooks
U1  - B:(R1), L31 
PY  - 1973///
CY  - New York    
PB  -  Academic Press       
ER  -