高阶逻辑辅助证明系统2013.5(德) 尼普科夫 (Nipkow,T.) , (英) 鲍尔森 (Paulson,L.C.) , (德) 温泽尔 (Wenzel,M.) , 著 基于不确定规则的模糊逻辑系统2013.(美) 孟德尔 (Mendel,J.M.) , 著 小逻辑2008.(德) 黑格尔 (Hegel,G.W.F.) , 著 小逻辑2014.1(德) 黑格尔 (Hegel,G.W.F.) , 著 小逻辑2017.(德) 黑格尔, 著 小逻辑2006.03(德) 黑格尔, 著 小逻辑2011.8(德) 黑格尔 (Hegel,G.W.F.) , 著 小逻辑2017.(德) 黑格尔, 著 逻辑动态系统的应用研究进展2019.8闫永义, 岳菊梅, 著 小逻辑2008.12(德) 黑格尔 (Hegel,G.W.F.) , 著 小逻辑2018.(德) 黑格尔, 著 数字系统逻辑设计技术2009.8刘锡海, 任长明, 编著 小逻辑1960.8(德) 黑格尔 (Hegel,G.W.F.) , 著 小逻辑2007.07(德) 黑格尔, 著 小逻辑2013.(德) 黑格尔, 原著