ISBN/价格: | 7-03-016583-7:CNY38.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑引论与归结原理/.王国俊著 |
版本项: | 第2版 |
出版发行项: | 北京:,科学出版社:,2006 |
载体形态项: | 258页:;+图:;+24cm |
丛编项: | 现代数学基础丛书 |
提要文摘: | 本书内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分,同时,在第一版的基础上对“计算逻辑学”,关于一阶系统K完备性的证明等诸多内容做了补充或改写。 |
题名主题: | 数理逻辑 |
索书号: | O141/W23=2 |
中图分类: | O141 |
个人名称等同: | 王国俊 著 |
记录来源: | CN 书尚图书 20060327 |
记录来源: | CN 20060508 |