逻辑学2009.03(德) 黑格尔 (Hegel,G.W.) , 著 逻辑与知识2005.(英) 罗素, 著 IP核芯志2015.9吴涛, 著 现代逻辑设计：第2版2005.06(美) 卡茨 (Katz,R.H.) 等, 著 医学逻辑思维2011.6刘虹, 著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 数学无穷与中介的逻辑基础2012.6朱梧槚, 著 简单逻辑学2007.(美) 麦克伦尼, 著 逻辑原理与应用2008.08秦振泽, 李爱萍, 王卓娅, 著 简明逻辑学2010.12(英) 普里斯特 (Priest,G.) , 著 数学·逻辑·语言2015.6傅鹂, 著 数理逻辑2006.12(美) 恩德滕, 著 逻辑视阈中的逻辑真理问题研究2012.12毕富生, 著 逻辑学读本2009.陈波, 主编 新逻辑学2007.黄华新, 著