出版社：人民邮电出版社
年代：2006
定价：29.0
本书是数理逻辑课程的经典教材。
第0章 集合基础
第1章 命题逻辑
第2章 一阶逻辑
第3章 不可判定性
第4章 二阶逻辑
附录
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
| 书籍详细信息 | |||
| 书名 | 数理逻辑站内查询相似图书 | ||
| 丛书名 | 图灵计算机科学丛书 | ||
| 9787115143112 《数理逻辑》pdf扫描版电子书已有网友提供下载资源链接 | |||
| 出版地 | 北京 | 出版单位 | 人民邮电出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 29.0 | 语种 | 简体中文 |
| 尺寸 | 26 | 装帧 | 平装 |
| 页数 | 220 | 印数 | |