机读格式显示(MARC)
- 000 01201nam2 2200373 4500
- 010 __ |a 7-302-04042-7 |d CNY18.00
- 100 __ |a 20061128d ekmy0chiy0120 ea
- 200 1_ |a 数理逻辑与集合论 |9 Shu Li Luo Ji Yu Ji He Lun |f 石纯一,王家廞 编著 |F Shi Chun Yi, Wang Jia廞 Bian Zhu
- 210 __ |a 北京 |c 清华大学出版社 |d 2000
- 330 __ |a 本书介绍了数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论,包括集合、关系、函数、实数集与基数等。
- 606 0_ |a 数理逻辑 |x 高等学校 |j 教材
- 606 0_ |a 集论 |x 高等学校 |j 教材
- 701 _0 |a 石纯一 |9 Shi Chun Yi |4 编著
- 701 _0 |a 王家廞 |9 Wang Jia廞 |4 编著
- 801 _0 |a CN |b HRBNU |c 20060710
- 801 _2 |a CN |b |c 20070619
- 905 __ |a DQNU |d O141/S48
- 995 __ |a ST |f O141/S48 |s 5
- 999 __ |t E |A qiandl |a 20070619 14:10:48 |G qiandl |g 20061129 08:31:51 |M qiandl |m 20070619 14:21:2