现代归纳逻辑与概率逻辑 【数理化】

数学无穷与中介的逻辑基础 【数理化】

本书内容分为两篇，共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中第一章研讨精确性经典数学的理论基础问题。其中包括：（1）如何在现代意义下正确理解逻辑数学悖论这个概念的内涵，（2）数学三......

逻辑斯谛 又称，“数理逻辑”的二值数学 【数理化】

现代逻辑学讲义 数理逻辑 【数理化】

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

数理逻辑基础 一阶逻辑与一阶理论 【数理化】

本书介绍数理逻辑的基础部分。

后现代思想的数学根源 【数理化】

本书主要探讨数学哲学（如形式主义、直觉主义、约定主义）与后现代思潮（如解构主义、后结构主义）之间的关系。

符号逻辑讲义 【数理化】

本书对现代数理逻辑的基本内容进行了系统的、由浅入深的精确介绍。

逻辑代数 【数理化】

符号逻辑 【数理化】

超协调逻辑原理 【数理化】