题名:
数理逻辑引论及归结原理   / 王国俊著 ,
ISBN:
7-03-016583-7 价格: CNY38.00
语种:
chi
载体形态:
258页 24cm
出版发行:
出版地: 北京 出版社: 科学出版社 出版日期: 2006.3
内容提要:
本书内容可分为Boole代数理论,命题演算与谓词演算理论,归结原理理论,多值逻辑的最新理论等四部分。 
主题词:
数理逻辑  
中图分类法:
O141 版次: 4
主要责任者:
王国俊
版次:
2版