数字逻辑基础2004.05刘延兴, 编著 逻辑背景理论及其应用2017.5李德龟, 著 数理逻辑与数理方法研究2018.12刘桂利, 著 逻辑研究2013.(德) 胡塞尔, 著 现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著 广义模态逻辑及其应用2005.何向东等, 著 数字逻辑基础2004.01陈光梦, 编著 逻辑研究2005.12(德) 胡塞尔, 著 逻辑研究2006.07(德) 胡塞尔, 著 逻辑研究2017.(德) 埃德蒙德·胡塞尔, 著 数字逻辑2004.吴继娟, 主编 数字逻辑2005.欧阳星明, 主编 数字逻辑2007.02欧阳星明, 主编 数字逻辑1996.09毛法尧, 欧阳星明, 任宏萍, 编著 数字逻辑2010.白中英, 主编