演绎逻辑2017.10(英) 圣.乔治·斯多克, 著 语言学论丛2004.北京大学汉语语言学研究中心《语言学论丛》编辑部, 编 语言学论丛2005.北京大学汉语语言学研究中心《语言学论丛》编辑部, 编 数字逻辑设计及应用2014.9姜书艳, 主编 中国逻辑史2004.06周云之, 著 数字逻辑系统的Verilog设计2007.09(加) 布朗 (Brown,S.) , (加) 弗兰尼斯克 (Vranesic,Z.) , 著 逻辑学2019.3(英) 丹·克莱恩 (Dan Cryan) , (英) 沙龙·沙提勒 (Sharron Shatil) , 文 逻辑的应用2004.10秦振泽, 著 隐藏的逻辑2011.6(美) 布坎南, 著 范畴、语境与博弈2013.11文学锋, 著 逻辑的艺术2011.1(美) 余锦波, 著 隐喻的逻辑2009.02(美) 斯坦哈特, 著 语言、真理与逻辑2015.1(英) 艾耶尔 (Ayer,A.J.) , 著 FPGA数字逻辑设计教程2010.9(美) 哈斯凯尔 (Haskell,R.E.) , (美) 汉纳 (Hanna,D.M.) , 著 逻辑思维训练集2015.12上海师范大学逻辑学研究中心, 编著