机读格式显示(MARC)

• 000 00967cam a2200289 a 4500

• 001 0000660729

• 003 CAL

• 005 20091102142500.0

• 008 090601s2009 cc b 001 0 eng d

• 020 __ |a 9787030228994 (Beijing)

• 020 __ |a 9781842655665 (Alpha Science International Ltd, Oxford)

• 040 __ |a NMU |c NMU

• 090 __ |a O141/W246=2

• 093 __ |a O141 |2 4

• 099 __ |a CAL 022009077348

• 100 1_ |a Wang, Guojun.

• 245 10 |a Introduction to mathematical logic and resolution principle = |b 数理逻辑引论与归结原理 / |c Guo-jun Wang, Hong-jun Zhou.

• 246 34 |i Chinese title on the cover: |a 数理逻辑引论与归结原理

• 250 __ |a 2nd ed.

• 260 __ |a Beijing : |b Science Press, |c c2009.

• 300 __ |a v, 335 p. ; |c 25 cm.

• 490 0_ |a Mathematics monograph series ; |v 13

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Zhou, Hongjun.

• 920 __ |a 242450 |z 2

• 950 __ |a JHUD |b O141 |c W246=2