出版社：高等教育出版社
年代：2019
定价：33.8
本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、模型论、递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。也可供相关科技工作者参考。
| 书籍详细信息 | |||
| 书名 | 数理逻辑站内查询相似图书 | ||
| 9787040513523 如需购买下载《数理逻辑》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 高等教育出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 33.8 | 语种 | 简体中文 |
| 尺寸 | 24 × 19 | 装帧 | 平装 |
| 页数 | 印数 | 2000 | |
数理逻辑是高等教育出版社于2019.7出版的中图分类号为 O141 的主题关于 数理逻辑－高等学校－教材 的书籍。