TY  - BOOK
AU  - Chang, Chin-lidng
AU  - Lee, Richard Char-tung
TI  - Symbolic logic and mechanical theorem proving
T2  - Computer science and applied mathematics,A series of monogra
PY  - 1973///
ER  -