TY  - BOOK
AU  - Guo-Jun Wang
AU  - Hong-Jun Zhou
TI  - Introduction to mathematical logic and resolution principle
SN  - 9787030228994
U1  - 510 22
PY  - 2009///
CY  - Beijing
PB  - Science Press
KW  - Logic, symbolic and mathematical
KW  - Textbooks
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -