数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数字逻辑设计实验与EDA技术2005.延明, 张亦华, 肖冰, 编著 数理逻辑基础2012.1张振华, 著 非经典数理逻辑与近似推理2008.王国俊, 著 语言、真理与逻辑2006.02(英) 艾耶尔, 著 现代数字电路与逻辑设计实验教程2013.4袁东明, 史晓东, 陈凌霄, 编著 数理逻辑导引2017.9冯琦, 编著 逻辑2005.金岳霖, 著 逻辑2011.10金岳霖, 著 现代数字电路与逻辑设计实验教程2016.3蔡春晓, 主编 逻辑原理与应用2008.08秦振泽, 李爱萍, 王卓娅, 著 普通疑难理论问题研究2006.06倪荫林, 著 现代数字电路与逻辑设计实验教程2011.4袁东明, 史晓东, 陈凌霄, 编著