现代逻辑学讲义 模态逻辑

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

直言逻辑及其哲学问题研究 “是”的逻辑哲学研究

本书稿对直言逻辑及其哲学问题进行深入研究。

现代逻辑学讲义 数理逻辑

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

论逻辑经验主义

数字逻辑

本书主要介绍了数学系统逻辑设计的基本知识、基本理论和基础逻辑器件，讨论了组合逻辑电路和时序逻辑电路的分析与设计方法。

逻辑

本书第一部分讨论传统的演绎逻辑，第二部分是对传统逻辑的批评，第三部分介绍西方数理逻辑，第四部分讨论逻辑与逻辑系统的性质。

形式逻辑学

实用逻辑学

逻辑学导论

本书为教材，论述了逻辑学的基本原理。

数字逻辑电路

本书包括逻辑电路基础，组合逻辑电路等。