数学逻辑基础2009.9吴顺子, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数字电路与逻辑设计实验教程2008.08张亚君, 陈龙, 编著 数字电路与逻辑设计教程2006.04罗中华, 主编 数理逻辑2007.李未, 著 新控制原理2004.09张南纶, 著 数理逻辑引论与归结原理2005.王国俊, 编著 逻辑与知识2005.(英) 罗素, 著 《逻辑哲学论》研究2007.韩林合, 著 语言、真理与逻辑2015.1(英) 艾耶尔 (Ayer,A.J.) , 著 数字电路与逻辑设计实验及应用2005.07毛期俭, 主编 数字逻辑设计与数字电路实验技术2012.8包亚萍, 主编 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著