机读格式显示(MARC)

• 000 01013nam0 2200253 450

• 001 0000783994

• 005 20171020095200.0

• 010 __ |a 978-7-03-047702-6 |d CNY58.00

• 100 __ |a 20160328d2016 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 逻辑——从三段论到不完全性定理 |9 luo ji——cong san duan lun dao bu wan quan xing ding li |b 专著 |f 熊明著

• 210 __ |a 北京 |c 科学出版社 |d 2016

• 215 __ |a 167页 |c 图 |d 24cm

• 300 __ |a 广东省高水平大学建设经费资助出版

• 330 __ |a 本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐明传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。

• 606 0_ |a 哲理逻辑

• 690 __ |a B815 |v 5

• 701 _0 |a 熊明 |9 xiong ming |4 著

• 801 _0 |a CN |b 浙江省新华书店集团公司 |c 20160328

• 801 _2 |a CN |b Wuxilib |c 20171020

• 905 __ |a Wuxilib |d B815/5