自然演绎逻辑导论2006.03陈晓平, 著 逻辑与演绎科学方法论导论2011.8(波兰) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论1963.4(波) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2009.03(波兰) 塔尔斯基, 著 演绎逻辑2017.10(英) 圣.乔治·斯多克, 著 演讲、论辩与逻辑2007.05谭大容, 著 演讲、论辩与逻辑2005.06谭大容, 编著 逻辑学导论2005.01黄华新, 张则幸, 编著 逻辑导论2004.09周祯祥, 胡泽洪, 主编 简明逻辑学导论2010.6(美) 赫尔利 (Hurley,P.) , 著 逻辑导论2016.8王洪, 主编 逻辑导论2010.8王洪, 主编 面向知识表示与推理的自然语言逻辑2008.12鞠实儿, 文学锋, 著