MARC状态：已编 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 数理逻辑与集合论/石纯一，王家廞 编著
- 版本说明:
- 2版
- 出版发行项:
- 北京:清华大学出版社,2000
- ISBN及定价:
- 7-302-04042-7/CNY18.00
- 载体形态项:
- 224页;26cm
- 个人责任者:
- 石纯一 编著
- 个人责任者:
- 王家廞 编著
- 学科主题:
- 数理逻辑
- 学科主题:
- 集论
- 学科主题:
- 数理逻辑-高等学校-教材
- 学科主题:
- 集论-高等学校-教材
- 中图法分类号:
- O141
- 中图法分类号:
- O144
- 一般附注:
- 清华大学计算机系列教材
- 提要文摘附注:
- 本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/S48 | 00325001 |  语言、自然科学阅览室
|
可借 | 语言、自然科学阅览室 | |
| O141/S48 | 00325002 | 语言、自然科学阅览室
|
可借 | ||
| O141/S48 | 00325003 | 语言、自然科学阅览室
|
可借 | ||
| O141/S48 | 00327406 | 样本书阅览室
|
可借 | ||
| O141/S48 | 00325004 | 密集书库
028-1-2-2 |
非可借 | 密集书库 |
显示全部馆藏信息