机读格式显示(MARC)

• 000 01076nam2 2200349 4500

• 000 0000162817

• 001 0000119530

• 005 20071106100420.0

• 009 CRLN2006024317

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

• 035 __ |a (033001)012006009408

• 100 __ |a 20071106d em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

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

• 205 __ |a 2版

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

• 215 __ |a 10,258页 |d 24cm

• 225 2_ |a 现代数学基础丛书 |v 99

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

• 330 __ |a 本书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分。

• 461 _0 |1 2001 |a 现代数学基础丛书

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 4

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

• 801 _0 |a CN |b |c 20071106

• 905 __ |a DQNU |d O141/W20

• 991 __

• 995 __ |a ST |f O141/W20 |s 5

• 999 __ |t C |A yhf |a 20071106 10:03:59 |M yhf |m 20071106 10:04:20 |G yhf |g 20071106 10:04:4