数字逻辑应用与研究2017.9杨宇, 著 塔斯基定理与真理论悖论2014.3熊明, 著 数理统计方法2005.08陆元鸿, 编著 多值逻辑理论及应用研究2003.09罗铸楷, 著 逻辑与演绎科学方法论导论2011.8(波兰) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论1963.4(波) 塔尔斯基 (Tarski,A.) , 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 逻辑与演绎科学方法论导论2009.03(波兰) 塔尔斯基, 著 逻辑与演绎科学方法论导论2017.(波) 塔尔斯基, 著 应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著 信息、智能与逻辑2010.6何华灿, 主编 逻辑中的表列方法2013.7孔红, 著 麦卡锡函数和阿克曼函数2012.8刘培杰, 康大臣, 编著 现代逻辑视域下的哲学逻辑研究2017.11高航, 著 应用逻辑：第2版2006.(美) 尼罗德 (Nerode,A.) 等, 著