MARC状态：审校 文献类型：中文图书 浏览次数：6
- 题名/责任者:
- 数理逻辑与集合论/石纯一, 王家〓编著
- 版本说明:
- 第2版
- 出版发行项:
- 北京:清华大学出版社,2000
- ISBN及定价:
- 7-302-04042-7/CNY18.00
- 载体形态项:
- 224页;26cm
- 丛编项:
- 清华大学计算机系列教材
- 个人责任者:
- 石纯一 编著
- 个人责任者:
- 王家〓 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 学科主题:
- 集论-高等学校-教材
- 中图法分类号:
- O141
- 著录信息附注:
- 〓=[庆(大→钦)](qing)
- 出版发行附注:
- 2003年第5次印刷
- 提要文摘附注:
- 本书介绍了数理逻辑, 包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论, 包括集合、关系、函数、实数集与基数等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/S237B | 000536881 |  自然科学书库
|
可借 | ||
| O141/S237B | 000536886 | 自然科学书库
|
可借 | ||
| O141/S237B | 000536892 | 自然科学书库
|
可借 | ||
| O141/S237B | 000536882 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536883 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536884 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536885 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536887 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536888 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536889 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536890 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536891 | 密集书库
|
可借 | 密集书库 | |
| O141/S237B | 000536893 | 密集书库
|
可借 | 密集书库 |
显示全部馆藏信息