演绎逻辑2017.10(英) 圣.乔治·斯多克, 著 逻辑与演绎科学方法论导论2011.8(波兰) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论1963.4(波) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2009.03(波兰) 塔尔斯基, 著 自然演绎逻辑导论2006.03陈晓平, 著 演讲、论辩与逻辑2007.05谭大容, 著 演讲、论辩与逻辑2005.06谭大容, 编著 基本演绎法2020.8刘洪波, 李媛媛, 刘潋, 著 逻辑2005.金岳霖, 著 逻辑2011.10金岳霖, 著 逻辑2010.金岳霖, 著 逻辑2007.06雍琦, 编著 逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著