ISBN/价格: | 978-7-03-047702-6:CNY58.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 逻辑/.熊明著 |
出版发行项: | 北京:,科学出版社:,2016.03 |
载体形态项: | 167页:;+图:;+24cm |
一般附注: | 广东省高水平大学建设经费资助出版 |
提要文摘: | 本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐明传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统,并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。 |
题名主题: | 哲理逻辑 |
中图分类: | B815 |
个人名称等同: | 熊明 著 |
记录来源: | CN 重大书店 20160622 |