数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著 数理逻辑基础2012.1张振华, 著 非经典数理逻辑与近似推理2008.王国俊, 著 数字逻辑的图形方法2003.12陈偕雄, 余堂军, 著 数学无穷与中介的逻辑基础2012.6朱梧槚, 著 大易数理逻辑2016.12罗翊重, 著 代数与数理逻辑2005.王世强, 著 数学逻辑2004.04武庆生, 邓建, 编著 逻辑学2008.07王法学, 编著 逻辑与知识2005.(英) 罗素, 著 数字逻辑设计项目教程2020.1丁向荣, 贾萍, 赵慧, 朱云鹏, 编著