数字系统逻辑设计2004.01欧阳星明, 主编 《逻辑哲学论》研究2007.韩林合, 著 逻辑、语言与意义2017.(荷) 哈姆特, 著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著 数字逻辑设计及应用2014.9姜书艳, 主编 博弈逻辑理论与方法2016.张峰, 著 数理逻辑导引2017.9冯琦, 编著 FPGA应用技术及实践2016.3刘睿强, 主编 FPGA应用技术及实践2019.9刘睿强, 主编