MARC状态:已编 文献类型:中文图书 浏览次数:23
- 题名/责任者:
- 数理逻辑/张清宇主编 刘新文,夏素敏编
- 出版发行项:
- 北京:中国社会科学出版社,2010
- ISBN及定价:
- 978-7-5004-8543-8/CNY24.00
- 载体形态项:
- 128页:图;24cm
- 个人责任者:
- 张清宇 (1944.4-) 主编
- 个人次要责任者:
- 刘新文 (1972-) 编
- 个人次要责任者:
- 夏素敏 (哲学) 编
- 学科主题:
- 数理逻辑-研究生-教材
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 一般附注:
- 中国社会科学院研究生重点教材
- 提要文摘附注:
- 本书介绍数理逻辑的基本内容,如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二部完全性定理以及所需的递归论内容,等等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/1 | A00159368 | 书库 (图书定位请点击这里) | 借出-应还日期: | 书库 | |
O141/1 | 00310595 | 1:1 | 书库 (图书定位请点击这里) | 可借 | 书库 |
O141/1 | 00310596 | 1:1 | 书库 (图书定位请点击这里) | 可借 | 书库 |
O141/1 | 00310597 | 1:1 | 书库 (图书定位请点击这里) | 可借 | 书库 |
显示全部馆藏信息