面向计算机科学的数理逻辑 | 2版.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
数理逻辑
数理逻辑引论与归结原理.pdf
本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。
非经典数理逻辑与近似推理.pdf
本书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
数理逻辑 : 基本原理与形式演算 | 2版.pdf
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。
数理逻辑导引.pdf
本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致
儿童数理逻辑思维发展启蒙教程——国际象棋.pdf
本书采用故事的方式引入，并配有大量的图片和栏目，能较好地激发孩子的阅读兴趣，同时注重儿童数理逻辑思维的发展，循序渐进地安排国际象棋的教学知识。首先用森林奇遇的故事情节引入国际象棋，然后主要介绍了棋盘和线路，接着以闯关形式让孩子掌握相应棋子的特征、走子、吃子、价值对比和行棋规则等知
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
实物与暗物的数理逻辑.pdf
本书从实物与暗物的数理逻辑角度提供了一个视角，阐述了重建物理逻辑结构中的一些基本的概念问题：空间和时间、实物与暗物、并对相对论和量子力学的历史功勋和未来做了评述。
数理逻辑 : 基本原理与形式演算.pdf
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性等；后五章阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论等。