政治文明 历史维度与发展逻辑

本书作者从“历史维度与发展逻辑”的理论视角，意图从世界政治史的角度，客观认识我国正在进行的社会主义政治文明建设的历史方位，以及由此而来的发展逻辑。...

当代马克思主义发展理论的历史与逻辑建构

本书以辞典形式，将我国清朝时期“进士”文物，收集整理介绍。

数理化知识探索 科技纵横丛书 机械工程发展史话

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

现代归纳逻辑的发展

本书以历史发展为主线，对20世纪西方经典归纳逻辑的产生、发展做了系统评介。特别对其中著名代表人物和学派的学说，如著名逻辑学家凯恩斯、卡尔那普、赖兴巴哈、冯·赖特的归纳理论以及逻辑界著名的贝叶斯派、...

数理逻辑

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

互逆主义数理逻辑

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

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

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

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

数理逻辑

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

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

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