机读格式显示(MARC)

• 000 01695nam 2200325 450

• 001 0000373431

• 005 20210713113600.0

• 010 __ |a 978-7-300-28439-2 |d CNY58.00

• 100 __ |a 20200911d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ac a 001yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A shu li luo ji |d = Mathematical logic |f 余俊伟 ... [等] 著 |z eng

• 210 __ |a 北京 |c 中国人民大学出版社 |d 2020

• 215 __ |a 370页 |c 图, 肖像 |d 26cm

• 225 2_ |a 新编21世纪哲学系列教材 |A xin bian 21shi ji zhe xue xi lie jiao cai

• 304 __ |a 题名页题: 余俊伟, 赵晓玉, 裘江杰, 张立英著

• 314 __ |a 余俊伟, 中国人民大学哲学院教授, 主要研究方向为逻辑和形而上学。赵晓玉, 中国人民大学哲学院讲师, 主要研究方向为数理逻辑、数学基础和数学哲学。裘江杰, 中国人民大学哲学院副教授, 主要研究方向为集合论、分析哲学和科学哲学。

• 320 __ |a 有书目 (第329-348页) 和索引

• 330 __ |a 本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲, 第1-4章为基础内容, 第5-6章为高阶内容。具体来看, 第1章从思想史角度讲述哲学之于逻辑的动机催发, 第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等, 第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等, 第4章讲述一阶理论的基本性质、几种形式等, 第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等, 第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

• 410 _0 |1 2001 |a 新编21世纪哲学系列教材

• 510 1_ |a Mathematical logic |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 余俊伟 |A yu jun wei |4 著

• 701 _0 |a 赵晓玉 |A zhao xiao yu |4 著

• 701 _0 |a 裘江杰 |A qiu jiang jie |4 著

• 801 _0 |a CN |b 湖北三新 |c 20200911

• 905 __ |a AUSTL |d O141/Y435