数学无穷与中介的逻辑基础2012.6朱梧槚, 著 当代形式逻辑引论2009.03龚启荣等, 著 演讲、论辩与逻辑2007.05谭大容, 著 逻辑与演绎科学方法论导论2011.8(波兰) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论1963.4(波) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2009.03(波兰) 塔尔斯基, 著 麦卡锡函数和阿克曼函数2012.8刘培杰, 康大臣, 编著 演讲、论辩与逻辑2005.06谭大容, 编著 哲学逻辑2007.(　) 格博尔, 主编 现代逻辑设计2006.03(美) 卡茨 (Katz,R.H.) 等, 著 数字逻辑的图形方法2003.12陈偕雄, 余堂军, 著 对偶三角模-三角余模逻辑及推理2015.2张兴芳, 著 弗协调逻辑2003.01金顺福, 张清宇, 张家龙, 著