机读格式显示(MARC)

• 000 01197nam2 2200373 4500

• 000 0000171951

• 001 0000127590

• 005 20071211113551.0

• 010 __ |a 7-302-04042-7 |d CNY18.00

• 100 __ |a 20071126d ekmy0chiy0120 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑与集合论 |9 Shu Li Luo Ji Yu Ji He Lun |f 石纯一，王家廞 编著 |F Shi Chun Yi， Wang Jia廞 Bian Zhu

• 205 __ |a 2版

• 210 __ |a 北京 |c 清华大学出版社 |d 2000

• 215 __ |a 224页 |d 26cm

• 300 __ |a 清华大学计算机系列教材

• 330 __ |a 本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。

• 606 0_ |a 数理逻辑

• 606 0_ |a 集论

• 606 0_ |a 数理逻辑 |x 高等学校 |j 教材

• 606 0_ |a 集论 |x 高等学校 |j 教材

• 690 __ |a O141 |v 4

• 690 __ |a O144 |v 4

• 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 20071211

• 905 __ |a DQNU |d O141/S48#1

• 991 __

• 995 __ |a ST |f O141/S48 |s 2

• 999 __ |t C |A sxx |a 20071126 10:17:49 |M sxx |m 20071211 11:35:51 |G qiandl |g 20071212 10:47:5