MARC状态：审校 文献类型：中文图书 浏览次数：35
- 题名/责任者:
- 数理逻辑/汪芳庭编著
- 版本说明:
- 2版
- 出版发行项:
- 合肥:中国科学技术大学出版社,2010
- ISBN及定价:
- 978-7-312-02708-6/CNY22.00
- 载体形态项:
- 204页;23cm
- 个人责任者:
- 汪芳庭 编著
- 学科主题:
- 数理逻辑-研究生-教材
- 中图法分类号:
- O141
- 一般附注:
- 普通高等学校“十一五“规划教材
- 提要文摘附注:
- 本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一不完备性定、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整证明。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/340/2 | 71645803 | - |  自然科学第二书库（7F）
|
可借 | 现代技术部（1F） |
| O141/340/2 | 71645804 | - | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） |
| O141/340/2 | 71645805 | - | 自然科学第二书库（7F）
|
可借 | 现代技术部（1F） |
| O141/340/2 | 71645806 | - | 自然科学第二书库（7F）
|
可借 | 总借还书处（2F） |
| O141/340/2 | 71645807 | - | 自然科学第二书库（7F）
|
借出-应还日期：2024-11-21 | 自然科学第二书库（7F） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架