现代逻辑学讲义 数理逻辑

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

代数与数理逻辑 王世强文集

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

现代逻辑学讲义 模态逻辑

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

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

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

可计算性与数理逻辑 第4版

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...

论逻辑经验主义

数字逻辑

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

哲学·思辨·数理

本书为关于风俗、民情方面的知识和趣闻，并配有简单的英文导读和单词注释。

逻辑

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