（美）斯蒂芬·布朗（StephenBrown），（美）兹翁科·弗拉内希奇（ZvonkoVranesic）著2002 年出版840 页ISBN：7111106407
陈文新著（武汉大学文学院）2007 年出版332 页ISBN：7307056291
本书将明代诗学作为研究对象，阐述了明代诗学的逻辑进程及其主要理论问题。
（荷）约翰·范本特姆著；刘奋荣，余俊伟等译2008 年出版403 页ISBN：9787030205254
本书是由我们翻译的世界著名逻辑学家范本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在...
（英）戴夫·查顿，（英）卡罗琳·斯基特著2007 年出版252 页ISBN：9787506288965
本书是国际著名的高智商俱乐部门萨所组织的系列丛书。通过精心设计的测试题，将帮助读者最大限度地挖掘自身的大脑潜能。
张兴忠，阎宏印，武淑红编著2004 年出版251 页ISBN：7030146379
本书是与多媒体技术与应用一书配套使用的辅助教材。主教材包括：逻辑代数和门电路、时序逻辑电路，可编程逻辑器件，VHDL语言及其应用，在系统编程（ISP）技术，模/数与数/模转换电路、数字系统的分析与设计等内容。...
周德仿，胡家宝主编2012 年出版228 页ISBN：9787111371120
本书共有7章。第1章介绍数制系统概论及其编码。第2章介绍布尔代数基础。第3章介绍组合逻辑电路。第4章介绍同步时序逻辑电路。第5章介绍异步时序逻辑电路。第6章介绍可编程逻辑器件。第7章介绍数字系统设计...
欧阳星明，溪利亚编著2015 年出版296 页ISBN：9787115380708
本书以数字集成电路为背景，将数字电子技术和数字逻辑电路的有关知识融为一体，系统地介绍了数字系统逻辑电路分析与设计的基本知识、理论和方法，并讨论了采用各种不同规模的逻辑器件进行分析与设计的详细过程。...
（美）马丁·戴维斯（Martin Davis）著2018 年出版291 页ISBN：9787535794420
本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合...
李娜编著2017 年出版378 页ISBN：9787310053513
《实验逻辑学》共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑...
