数学逻辑基础2009.9吴顺子, 著 数理逻辑2019.7张再跃, 张晓如, 编著 逻辑·思维·语言2009.01曹予生, 主编 数理逻辑2007.李未, 著 数理逻辑引论与归结原理2005.王国俊, 编著 汉语语用逻辑初探2007.12徐冬海, 著 逻辑与知识2005.(英) 罗素, 著 自然语言信息处理的逻辑语义学研究2018.1邹崇理, 等著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 迷人的逻辑题2018.9(英) 亚历克斯·贝洛斯, 著 数理逻辑基础2012.1张振华, 著