机读格式显示(MARC)

• 000 01148cam a2200325 a 450

• 000 1000107092

• 001 0000329647

• 005 20090713150306.0

• 008 090601s2009 cc b 001 0 eng d

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

• 020 __ |a 9787030228994 (Beijing) : |c CNY78.00

• 040 __ |a NMU |c NMU

• 090 __ |a O141/WGJ/(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 / |c Guo-jun Wang, Hong-jun Zhou.

• 246 14 |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: 数理逻辑引论与归结原理.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Zhou, Hongjun.

• 901 __022009001767

• 905 __ |a CAU |f O141/WGJ/(2) |b W0082865-6(or.)

• 907 __ |a CAU |f O141/WGJ/(2) |b W0082865-6(or.)

• 999 __ |t C |A wzhlc |a 20090710 11:20:01 |I wzhlc |i 20090713 15:03:06 |G wzhlc |g 20090713 15:03:5