郭开仲著2008 年出版462 页ISBN：9787030205346
本书共分5章。介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、真值表、逻辑范式及其有效的推理方法以及数理错误谓词逻辑的概念、参数等。...
（奥）维特根斯坦著；贺绍甲译2011 年出版133 页ISBN：9787100078283
本书是作者在其一生中以书籍形式出版的唯一著作。现在被公认为是二十世纪最重要的哲学著作之一。
贺善侃编著2005 年出版271 页ISBN：7810389297
本书依照全国MBA（工商管理硕士）与GCT-ME（工程硕士）入学考试逻辑大纲要求，结合MBA与GCT-ME逻辑入学考试试题的特点和要求，对应试MBA与GCT-ME逻辑试题所必备的形式逻辑基础知识做了简要介绍，对主要知识点和常见错误...
从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法
夏宇闻编著2001 年出版292 页ISBN：7040092522
高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。
