什么是什么2019.9(德) 雷纳·克鲁门勒, 等著 什么是什么2016.7(德) 鲍尔, 等著 什么是什么2011.(美) 艾格斯, 著 什么是什么2019.(德) 海恩茨·色勒曼, 等著 逻辑2016.3熊明, 著 数字逻辑2011.4程书伟, 张丹, 张华, 主编 数字逻辑2006.11韩进, 主编 逻辑背景理论及其应用2017.5李德龟, 著 数字逻辑2010.9卫朝霞, 茹鹏, 编著 是什么？2013.3(英) 唐纳森 (Donaldson,J.) , 著 是什么？2017.10(英) 朱莉娅·唐纳森 (Julia Donaldson) , 著 数字逻辑2005.12谭淑梅, 著 数字逻辑2019.7张辉宜, 丁刚, 主编 数字逻辑2004.12裴亚男, 付智辉, 主编 数字逻辑2005.04杨树文, 雍丽英, 王知强, 主编