（韩）魏基哲原著；（韩）金宇先插图；李慕康译2002 年出版159 页ISBN：7530109774
本书包括：一败涂地驴子的父子；头上长角的人；女孩的智慧；兔子头上的角；伟大的律师林肯先生；傻女婿做客等内容。
李未著2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
陆钟万著2002 年出版263 页ISBN：7030096576
《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...
（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
盛建伦编著2012 年出版246 页ISBN：9787302290643
本书内容包括逻辑代数基础、门电路、VHDL语言基础、组合逻辑电路、时序逻辑电路、半导体存储器等内容。
