地方治理2005.10尹冬华, 编选 弗协调逻辑2003.01金顺福, 张清宇, 张家龙, 著 逻辑推理2011.7余式厚, 编著 数理逻辑2014.3李未, 著 数学逻辑基础2009.9吴顺子, 著 数理逻辑2019.7张再跃, 张晓如, 编著 数理逻辑2007.李未, 著 万物的签名2016.11(意) 吉奥乔·阿甘本, 著 数理逻辑的思想和方法2005.10李娜, 著 半符号逻辑2004.张蔼珠, 陈思为, 著 数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2012.1张振华, 著