机读格式显示(MARC)

• 000 01139nam2 2200349 4500

• 000 0000168140

• 001 0000114206

• 005 20061201094858.0

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

• 100 __ |a 20061130d2006 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑引论与归结原理 |f 王国俊著 |9 shuliluojiyinlunyuguijieyuanli

• 205 __ |a 2版

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

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

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

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

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

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

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

• 606 0_ |a 数理逻辑 |A shuliluoji

• 690 __ |a O141 |v 4

• 701 _0 |a 王国俊 |4 著 |9 wangguojun

• 801 _0 |a CN |b RENTIAN |c 20060420

• 801 _2 |a CN |b 261060 |c 20061201

• 905 __ |a XATU |d O141/19=2

• 991 __012006015451

• 995 __ |a 261060 |f O141/19=2

• 999 __ |t C |A zn |a 20061130 15:27:22 |M zn |m 20061130 15:28:11 |I zw |i 20061201 09:48:5