|
题名:
|
数理引论与归结原理
shu li yin lun yu gui jie yuan li
/
王国俊著
,
|
|
ISBN:
|
978-7-03-022899-4
价格：
CNY78.00
|
|
语种:
|
chi
|
|
载体形态:
|
335页
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
科学出版社
出版日期：
2009
|
|
内容提要:
|
(数理逻辑引论与归结原理)在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分。
|
|
主题词:
|
数理逻辑
英语
|
|
中图分类法:
|
H319.4
版次：
4
|
|
主要责任者:
|
王国俊
wang
著
|