MARC状态:审校 文献类型:中文图书 浏览次数:73
- 题名/责任者:
- 数理逻辑是什么/(英) John N. Crossley等著 夏素敏, 闫佳亮译
- 出版发行项:
- 北京:中国轻工业出版社,2018
- ISBN及定价:
- 978-7-5184-2095-7/CNY32.00
- 载体形态项:
- 160页:图;21cm
- 个人责任者:
- 克罗斯利 (Crossley, John N.) 著
- 个人次要责任者:
- 夏素敏 译
- 个人次要责任者:
- 闫佳亮 译
- 学科主题:
- 数理逻辑-普及读物
- 中图法分类号:
- O141-49
- 出版发行附注:
- 由Oxford University授权出版
- 书目附注:
- 有索引
- 提要文摘附注:
- 本书是一本关于数理逻辑的导论书,面向的是没有任何数学基础的读者,主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等,以帮助读者掌握关于数理逻辑的一般知识,提高其在日常生活中的分析能力。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141-49/464 | 72286357 | 自然科学第二书库(7F) | 可借 | 现代技术部(1F) | |
O141-49/464 | 72286358 | 自然科学第二书库(7F) | 可借 | 总借还书处(2F) | |
O141-49/464 | 72286359 | 自然科学第二书库(7F) | 可借 | 自然科学第二书库(7F) | |
O141-49/464 | 72311776 | 自然科学第二书库(7F) | 可借 | 现代技术部(1F) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架