TY  - BOOK
AU  - Guo-Jun, Wang and Hong-jun, zhou
TI  - Introduction to mathematical logic and resolution principle
SN  - 9781842655665
AV  - QA9 .W36 2009
PY  - 2009///
CY  - Beijing
PB  - Science press
KW  - mathematical logic
N1  - includes index
ER  -