机读格式显示(MARC)

• 000 01115nam a2200325 a 4500

• 001 0000409334

• 003 SCNU

• 005 20100407110342.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

• 093 __ |a O141 |2 4

• 099 __ |a CAL 022009077348

• 100 1_ |a Wang, Guojun |9 (王国军).

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

• 246 34 |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

• 500 __ |a Cover title also in Chinese.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Zhou, Hongjun.

• 950 __ |a SCNU |f O141/W246-2

• 999 __ |t C |A zxq |a 20100104 16:49:35 |M zxq |m 20100407 11:03:42 |G zxq |g 20100407 11:04:11

• 000 1000023064

• 991 __ |a 022010000066

• 907 __ |a SCNU |f O141/W246-2