ISBN/价格: | 7-03-016583-7:CNY38。00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑引论与归结原理/.王国俊著 |
版本项: | 2版 |
出版发行项: | 北京:,科学出版社:,2006 |
载体形态项: | 10,258页:;+24cm |
丛编项: | 现代数学基础丛书 |
一般附注: | 陕西师范大学优秀研究生教材建设基金资助出版 |
提要文摘: | 本书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等4部分,同时,对“计量逻辑学”关于一阶系统Ky完备性的证明等诸多内容作了补充或修改。 |
题名主题: | 数理逻辑 |
题名主题: | 归结方法 |
中图分类: | O141 |
个人名称等同: | 王国俊 著 |