多值逻辑函数结构理论研究2009.刘任任, 欧阳建权, 著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 简明逻辑学导论2010.6(美) 赫尔利 (Hurley,P.) , 著 错误逻辑2008.郭开仲, 著 数理哲学导论1982.10(英) 罗素 (Russell,B.) , 著 数理哲学导论2017.(英) 罗素, 著 数理哲学导论2011.8(英) 罗素 (Russell,B.) , 著 博弈逻辑2008.01张峰, 著 数理哲学导论2017.(英) 罗素, 著 数理哲学导论2009.06(英) 罗素 (Russell,B.) , 著 应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著 符号逻辑2016.4(美) 安格勒 (Agler,D.W.) , 著 信息、智能与逻辑2010.6何华灿, 主编 缺省逻辑的扩充2006.07傅丽, 著 数字逻辑设计及应用2014.9姜书艳, 主编