000
01136nam0 2200289 450
001
012009159640
005
20090918152027.21
010
@ a978-7-03-022899-4@ b精装@ dCNY78.00
100
@ a20090918d2009 em y0chiy0120 ea
101
0
@ aeng
102
@ aCN@ b110000
105
@ aa z 000yy
106
@ ar
200
1
@ a数理逻辑引论与归结原理@ Ashu li luo ji yin lun yu gui jie yuan li@ d= Introduction to mathematical logic and resolution principle@ fGuo-jun Wang, Hong-jun Zhou@ zeng
205
@ a英文版
210
@ a北京@ c科学出版社@ d2009.05
215
@ a335页@ c图@ d25cm
303
@ a据封面信息著录
305
@ a据原版第2版印刷
330
@ a本书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分。同时，在第一版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。
510
1
@ aIntroduction to mathematical logic and resolution principle@ zeng
606
0
@ a数理逻辑@ Ashu li luo ji@ x引论
690
@ aO141@ v4
701
0
@ a王国俊@ Awang guo jun@ 4著
701
0
@ a周红军@ Azhou hong jun@ 4著
801
0
@ aCN@ bQSSK@ c20090918
905
@ b755818-19@ dO141@ eW192@ f2
数理逻辑引论与归结原理= Introduction to mathematical logic and resolution principle/Guo-jun Wang, Hong-jun Zhou.-英文版.-北京：科学出版社，2009.05 335页：图；25cm ISBN 978-7-03-022899-4(精装)：CNY78.00 本书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分。同时，在第一版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
755818
207558187
自科库401/401自科库 40排2列4层/
[索取号:O141/W192]
在馆
2
755819
207558196
自科库401/401自科库 40排2列4层/
[索取号:O141/W192]
在馆
