哲学逻辑2007.(　) 格博尔, 主编 信息、智能与逻辑2008.10何华灿, 马盈仓, 主编 了不起男孩像福尔摩斯一样聪明2014.8张蓉, 编著 弗协调逻辑2003.01金顺福, 张清宇, 张家龙, 著 数理逻辑2014.3李未, 著 数学逻辑基础2009.9吴顺子, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2007.李未, 著 理解科学推理2010.6(美) 吉尔 (Giere,B.N.) , 等著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著