|
题名:
|
数理逻辑 / (美) Herbert B. Enderton著 , 沈复兴, 陈磊, 孙运传译 |
|
ISBN:
|
978-7-115-14311-2 价格： CNY35.00 |
|
语种:
|
chi |
|
载体形态:
|
240页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2007 |
|
内容提要:
|
本书内容涵盖命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容, 并且包含了与计算机科学有关的主题, 如有限模型。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
Enderton, 著 |
|
主要责任者:
|
恩德腾 著 |
|
次要责任者:
|
沈复兴 译 |
|
次要责任者:
|
陈磊 译 |
|
次要责任者:
|
孙运传 译 |