|
000
|
01074nam 2200289 450
|
|
001
|
012006867609
|
|
005
|
20060805080242.31
|
|
010
|
|
@a7-03-016583-7@dCNY38.00
|
|
100
|
|
@a20060805d2006 km y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a数理逻辑引论与归结原理@Ashu li luo ji yin lun yu gui jie yuan li@f王国俊著@Fwang guo jun zhu
|
|
210
|
|
@a北京@c科学出版社@d2006.03
|
|
215
|
|
@a258页@c图@d26cm
|
|
225
|
2
|
@a现代数学基础丛书@Axian dai shu xue ji chu cong shu@v99
|
|
306
|
|
@a陕西师范大学优秀研究生教材建设基金资助出版
|
|
320
|
|
@a有书目 (第250页) 和索引
|
|
330
|
|
@a本书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，对“计量逻辑学”关于一阶系统Ky完备性的证明等诸多内容作了补充或修改。
|
|
410
|
0
|
@12001 @a现代数学基础丛书
|
|
606
|
0
|
@a归结方法@Agui jie fang fa
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji
|
|
690
|
|
@aO141@v4
|
|
701
|
0
|
@a王国俊@Awang guo jun@4著
|
|
801
|
0
|
@aCN@bQSSK@c20060805
|
|
905
|
|
@b596351-53@dO141@eW192
|
|
|
|
|
| |
| 数理逻辑引论与归结原理/王国俊著.-北京：科学出版社，2006.03 |
| 258页：图；26cm.-(现代数学基础丛书；99) |
| |
| |
| ISBN 7-03-016583-7：CNY38.00 |
| 本书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，对“计量逻辑学”关于一阶系统Ky完备性的证明等诸多内容作了补充或修改。 |
| ● |
正题名：数理逻辑引论与归结原理
索取号：O141/W192
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
596351
|
205963518
|
自科库401/401自科库 40排2列4层/
[索取号:O141/W192]
|
在馆
|
|
|
2
|
596352
|
205963527
|
自科库401/401自科库 40排2列4层/
[索取号:O141/W192]
|
在馆
|
|
|
3
|
596353
|
205963536
|
自科库401/401自科库 40排2列4层/
[索取号:O141/W192]
|
在馆
|
|
