TY  - BOOK
AU  - LEE(Richard C-T) & CHANG(Chin-Liang)
TI  - Symbolic logic and mechanical theorem proving
CY  - Boston
ER  -