TY  - BOOK
AU  - Wang, Guo-Jun
TI  - Introduction to mathematical logic and resolution principle
U1  - 511.3 W292I(2) 
PY  - 2009///
CY  - Oxford
PB  - Alpha Science International
ER  -