多值逻辑的理论和方法2008.霍书全, 著 多值逻辑理论及应用研究2003.09罗铸楷, 著 多值逻辑函数结构理论研究2009.刘任任, 欧阳建权, 著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 错误逻辑2008.郭开仲, 著 应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著 符号逻辑2016.4(美) 安格勒 (Agler,D.W.) , 著 本体逻辑原理与应用2008.10万继华, 著 信息、智能与逻辑2010.6何华灿, 主编 缺省逻辑的扩充2006.07傅丽, 著 数字逻辑设计及应用2014.9姜书艳, 主编 数字逻辑基础2004.05刘延兴, 编著 逻辑2016.3熊明, 著 数字逻辑基础2004.01陈光梦, 编著 数字逻辑2011.4程书伟, 张丹, 张华, 主编