机读格式显示(MARC)

• 000 01191nam0 2200277 450

• 001 0000801540

• 005 20201225140900.0

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

• 100 __ |a 20201220d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 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

• 300 __ |a 新编21世纪哲学系列教材

• 304 __ |a 著者还有：赵晓玉、裘江杰、张立英

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

• 510 1_ |a Mathematical logic |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 余俊伟 |A yu jun wei |f (1974~) |4 著

• 801 _0 |a CN |b HDUL |c 20201225

• 905 __ |a HDUL |d O141/822

• 920 __ |a 233030 |z 1