书目信息 |
| 题名： |
数理逻辑与集合论
|
|
| 作者： | 石纯一 ， 王家廞 编著 | |
| 分册： | ||
| 出版信息： | 北京 清华大学出版社 2000 |
|
| 页数： | 224页 | |
| 开本： | 26cm | |
| 丛书名： | 清华大学计算机系列教材 | |
| 单 册： | ||
| 中图分类： | O14 | |
| 科图分类： | ||
| 主题词： | 集论--高等学校--教材 , 数理逻辑--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 7-302-04042-7 | |
| 000 | 00962nam 2200277 450 | |
| 001 | 012001018624 | |
| 005 | 20071121034637.70 | |
| 010 | @a7-302-04042-7@dCNY18.00 | |
| 100 | @a20010327d2000 em y0chiy0120 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 1 | @a数理逻辑与集合论@Ashu li luo ji yu ji he lun@f石纯一, 王家廞编著@Fshi chun yi,wang jia xin bian zhu |
| 205 | @a第2版 | |
| 210 | @a北京@c清华大学出版社@d2000 | |
| 215 | @a224页@d26cm | |
| 225 | 2 | @a清华大学计算机系列教材 |
| 330 | @a本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。 | |
| 410 | 0 | @12001 @a清华大学计算机系列教材 |
| 606 | 0 | @a集论@x高等学校@x教材 |
| 606 | 0 | @a数理逻辑@x高等学校@x教材 |
| 690 | @aO14@v4 | |
| 701 | 0 | @a石纯一@Ashi chun yi@4编著 |
| 701 | 0 | @a王家廞@Awang jia xin@4编著 |
| 801 | 0 | @aCN@bRULIN@c20071121 |
| 905 | @aSQSY@dO14@e21 | |
| 数理逻辑与集合论/石纯一, 王家廞编著.-第2版.-北京：清华大学出版社，2000 |
| 224页；26cm.-(清华大学计算机系列教材) |
| ISBN 7-302-04042-7：CNY18.00 |
| 本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。 |
| ● |
| 相关链接 |
正题名：数理逻辑与集合论
索取号：O14/21
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1261754 | 212617541 | 数学系资料室/ [索取号:O14/21] | 在馆 |