|
题名:
|
数理逻辑十二讲
/
宋方敏，吴骏编著
,
|
|
ISBN:
|
978-7-111-58122-2
价格：
CNY39.00
|
|
语种:
|
chi
|
|
载体形态:
|
155页
26cm
|
|
出版发行:
|
出版地：
北京
出版社：
机械工业出版社
出版日期：
2018
|
|
内容提要:
|
本书包括命题逻辑、Boole代数、一阶逻辑的语言、一阶逻辑的自然推理系统、集合论的公理系统、完全性定理、Herbrand定理等内容。
|
|
主题词:
|
数理逻辑
|
|
中图分类法:
|
O141
版次：
5
|
|
主要责任者:
|
宋方敏
编著
|
|
主要责任者:
|
吴骏
编著
|
|
附注:
|
华章教育 面向CS2013计算机专业规划教材
|