MARC状态：审校 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 数理逻辑:证明及其限度/郝兆宽，杨睿之，杨跃著
- 版本说明:
- 2版
- 出版发行项:
- 上海:复旦大学出版社有限公司,2020
- ISBN及定价:
- 978-7-309-14568-7/CNY49.00
- 载体形态项:
- 15,255页;24cm
- 其它题名:
- 证明及其限度
- 个人责任者:
- 郝兆宽 (1968-) 著
- 个人责任者:
- 杨睿之 著
- 个人责任者:
- 杨跃 (逻辑学) 著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 中图法分类号:
- O14
- 一般附注:
- 逻辑与形而上学教科书系列
- 提要文摘附注:
- 本书从零起点开始，介绍了数理逻辑的基本知识。全书共10章：第一章是预备知识，主要介绍书中所需要的集合论的初步知识；第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理；第七章是递归论的基本知识；第八章介绍一阶算术的—些片段；第九和第十章是哥德尔的两个不完全性定理。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| O14/14 | 5200601769 | 总馆—新馆新书库 | 可借 | 新馆新书库 |
显示全部馆藏信息