机读格式显示(MARC)

• 000 02036nam 2200793 450

• 001 0000231437

• 005 20061010120255.0

• 010 __ |a 7-03-016583-7 |d CNY38.00

• 099 __ |a CAL 012006027979

• 100 __ |a 20060322d2006 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论与归结原理 |A shu li luo ji yin lun yu gui jie yuan li |f 王国俊著

• 205 __ |a 第2版

• 210 __ |a 北京 |c 科学出版社 |d 2006

• 215 __ |a 258页 |c 图 |d 24cm

• 225 2_ |a 现代数学基础丛书 |A xian dai shu xue ji chu cong shu |v 99

• 300 __ |a 陕西师范大学优秀研究生教材建设基金资助出版

• 320 __ |a 有书目 (第250页) 和索引

• 410 _0 |1 2001 |a 现代数学基础丛书 |v 99

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 606 0_ |a 归结方法 |A gui jie fang fa

• 690 __ |a O141 |v 4

• 701 _0 |a 王国俊 |A wang guo jun |4 著

• 801 _0 |a CN |b NMU |c 20060322

• 801 _2 |a CN |b SCNU |c 20061010

• 905 __ |a SCNU |f O141/1062/ 1-2

• 920 __ |a 215010 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 236010 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 231400 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 235010 |z 1

• 920 __ |a F44010 |z 1

• 920 __ |a 233020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 234030 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 223020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 211230 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 223140 |z 1

• 920 __ |a 244020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 244050 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 222020 |z 1

• 920 __ |a 232090 |z 1

• 920 __ |a 237020 |z 1

• 920 __ |a 244290 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 221120 |z 1

• 920 __ |a 223130 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 235030 |z 1

• 998 __ |a NMU

• 999 __ |M zhshl |m 20061010 12:02:55 |G gly |g 20061012 16:12:24

• 000 0000285751

• 991 __ |a 012006031753

• 907 __ |a SCNU |f O141/1062/ 1-2