|
000
|
01489nam 2200313 450
|
|
001
|
CAL 0120203055331
|
|
010
|
|
@a978-7-300-28439-2@dCNY58.00
|
|
100
|
|
@a20210925d2020 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a数理逻辑@Ashu li luo ji@d= Mathematical logic@f余俊伟 ... [等] 著@zeng
|
|
210
|
|
@a北京@c中国人民大学出版社@d2020.08
|
|
215
|
|
@a370页@c图@d26cm
|
|
225
|
2
|
@a新编21世纪哲学系列教材@Axin bian 21 shi ji zhe xue xi lie jiao cai
|
|
304
|
|
@a题名页题其余责任者: 赵晓玉, 裘江杰, 张立英
|
|
320
|
|
@a有书目 (第329-348页) 和索引
|
|
330
|
|
@a本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲, 第1-4章为基础内容, 第5-6章为高阶内容。具体来看, 第1章从思想史角度讲述哲学之于逻辑的动机催发, 第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等, 第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等, 第4章讲述一阶理论的基本性质、几种形式等, 第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等, 第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
|
|
410
|
0
|
@12001 @a新编21世纪哲学系列教材
|
|
510
|
1
|
@aMathematical logic@zeng
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@x高等学校@j教材
|
|
690
|
|
@aO141@v5
|
|
701
|
0
|
@a余俊伟@Ayu jun wei@4著
|
|
701
|
0
|
@a裘江杰@Aqiu jiang jie@4著
|
|
701
|
0
|
@a张立英@Azhang li ying@4著
|
|
701
|
0
|
@a赵晓玉@Azhao xiao yu@4著
|
|
801
|
0
|
@aCN@c20210925
|
|
905
|
|
@a河南城建学院图书馆@dO141@eY755@f2
|
|
|
|
|
| |
| 数理逻辑= Mathematical logic/余俊伟 ... [等] 著.-北京：中国人民大学出版社，2020.08 |
| 370页：图；26cm.-(新编21世纪哲学系列教材) |
| |
| |
| ISBN 978-7-300-28439-2：CNY58.00 |
| 本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲, 第1-4章为基础内容, 第5-6章为高阶内容。具体来看, 第1章从思想史角度讲述哲学之于逻辑的动机催发, 第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等, 第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等, 第4章讲述一阶理论的基本性质、几种形式等, 第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等, 第6章以模态逻辑为例说明逻辑之于哲学的实际应用。 |
| ● |
正题名：数理逻辑
索取号：O141/Y755
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1525418
|
215254187
|
自科库401/401自科库 40排2列4层/
[索取号:O141/Y755]
|
在馆
|
|
|
2
|
1525419
|
215254196
|
自科库401/401自科库 40排2列4层/
[索取号:O141/Y755]
|
在馆
|
|
