作者：熊明著
出版社： 科学出版社
CIP号：2016049441
书号：978-7-03-047702-6
出版地：北京
出版时间：2016.3
定价：￥58
本书以公理化思想作为主导，阐述传统逻辑与现代逻辑的基本理论，从亚里士多德的三段论直到哥德尔的不完全性定理。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树和自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要结果。本书在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的结果时，更强调思想性，力求做到通俗易懂，深入浅出。本书适合具有高中数学知识的普通读者学习逻辑学，特别地，可作为大中专学校素质教育层面的逻辑学入门教材。