机读格式显示(MARC)
- 000 01385nam2 2200385 4500
- 010 __ |a 7-03-011047-1 |d CNY18.00
- 100 __ |a 20030701d2003 em y0chiy0121 ea
- 200 10 |a 集论与逻辑 |e 面向计算机科学 |9 Jilunyuluoji |P JLYLJ |f 沈恩绍著
- 210 __ |a 北京 |c 科学出版社 |d 2003
- 215 __ |a 10,198页 |d 24cm
- 330 __ |a 本书由基础集论与经典(一阶)逻辑两部分内容组成。集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度;逻辑部分包括通常在研究生课程中才介绍的完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
- 517 1_ |a 面向计算机科学 |A mian xiang ji suan ji ke xue |9 Mianxiangjisuanjikexue
- 606 0_ |a 集论 |x 高等学校 |j 教材 |A Jilun
- 606 0_ |a 数理逻辑 |x 高等学校 |j 教材 |A Shuliluoji
- 606 0_ |a 数理逻辑 |A Shuliluoji
- 701 _0 |a 沈恩绍 |4 著 |9 Shenenshao
- 801 _0 |a CN |b SRXX |c 20030618
- 801 _2 |a CN |b 261060 |c 20030703
- 995 __ |a 261060 |f O144/6
- 999 __ |t C |A shxy |a 20030701 09:16:51 |M shxy |m 20030701 09:18:19 |I zw |i 20030703 09:36:38 |G zw |g 20030703 09:36:4