00549nam a2200217 4500 20180530103133.0 000 000 000 9781842655665 UOEL QA9 .W36 2009 Guo-Jun, Wang and Hong-jun, zhou Introduction to mathematical logic and resolution principle / Guo-Jun, Wang 2nd.ed Beijing ; Science press ; c2009. vii, 335p. : includes index mathematical logic lcc LL 16501 16501 0 0 lcc 0 0 UOE UOE GEN 2018-05-30 0 QA9 .W36 2009 20154556 2026-04-27 11:52:43 20154556 2018-05-30 LL 0 0 lcc 0 0 UOE UOE GEN 2018-05-30 0 QA9 .W36 2009 20154557 2026-04-27 11:52:42 20154557 2018-05-30 LL 0 0 lcc 0 0 UOE UOE GEN 2018-05-30 0 QA9 .W36 2009 20154558 2026-04-27 11:52:41 20154558 2018-05-30 LL 0 0 lcc 0 0 UOE UOE GEN 2018-05-30 0 QA9 .W36 2009 20154559 2026-04-27 11:52:42 20154559 2018-05-30 LL 0 0 lcc 0 0 UOE UOE GEN 2018-05-30 0 QA9 .W36 2009 20154560 2026-04-27 11:52:43 20154560 2018-05-30 LL