数理逻辑与集合论 【数理化】

概率统计与逻辑代数双基训练 【数理化】

逻辑代数与电子计算机简介 【数理化】

数理逻辑与数学哲学 【数理化】

多值逻辑的理论和方法 非规范多值逻辑研究 【数理化】

本书回顾了多值逻辑发展简史，对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。多值逻辑的建立与未来偶然命题有直接关系，还与模态命题，概率论，非决定论有关；函数完备性问题是一个困难的独立问题...

数学基础与数理逻辑 【数理化】

应用逻辑 第2版 【数理化】

本书是一本介绍数理逻辑的基础教材。

逻辑代数与电子计算机语言 【数理化】

逻辑代数与计算机语言 【数理化】

模糊集合、语言变量及模糊逻辑 【数理化】