数理逻辑

本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。

互逆主义数理逻辑

本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。

墨家逻辑与亚里士多德逻辑比较研究 兼论逻辑与文化

半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

数理逻辑

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算的部分内容；对其中的自然推理系统做了详细介绍，对公理系...

逻辑的哲学反思 逻辑哲学专题研究

本书从逻辑的角度对逻辑学中的哲学问题进行了辨析，对逻辑中的一些专题问题进行了哲学的分析。

数理化知识探索 数理化名人 中外物理名人

本书是李道生老师多年教学经验的结晶，收录了李老师多年数学教学中形成的一些研究成果，具有很高的学习价值。

数理化知识探索 数理化名人 绝妙的发现

本书是李道生老师多年教学经验的结晶，收录了李老师多年数学教学中形成的一些研究成果，具有很高的学习价值。

数理化知识探索 数理化名人 分析科学家

本书是李道生老师多年教学经验的结晶，收录了李老师多年数学教学中形成的一些研究成果，具有很高的学习价值。

数理化知识探索 数理化名人 古典物理学家的研究

本书是李道生老师多年教学经验的结晶，收录了李老师多年数学教学中形成的一些研究成果，具有很高的学习价值。