TY  - GEN
AU  - Wang,Guo-Jun
AU  - Zhou, Hong-Jun
TI  - Introduction to mathematical logic and resolution principles
SN  - 9781842655665
U1  - 510 
PY  - 2009///
CY  - Beijing
PB  - Science Press
ER  -