TY  - BOOK
AU  - chang,chin-liang
TI  - symbolic logic and mechanical theorem proving lee,richard char-tung (jt.auth.)
CY  - 1st.ed. | N.Y. Academic 
ER  -