分子逻辑计算2014.10(英) 席瓦尔 (Silva,A.P.) , 著 逻辑与计算机设计基础2012.4(美) 马诺 (Mano,M.M.) , (美) 凯姆 (Kime,C.R.) , 著 逻辑与计算机设计基础2017.5(美) M.莫里斯·马诺 (M. Morris Mano) , 等著 可逆逻辑综合2011.2管致锦, 著 逻辑与计算机设计基础2010.4(美) 马诺 (Mano,M.M.) , (美) 凯姆 (Kime,C.R.) , 著 逻辑与计算机设计基础2004.(美) 克米, 著 逻辑与计算机设计导论2008.(美) 玛考威茨 (Alan B.Marcovitz) , 著 逻辑与计算机设计基础2008.03(美) 马诺 (Mano,M.M.) , (美) 凯姆 (Kime,C.R.) , 著 逻辑设计基础2006.01(美) 马科维奇 (Marcovitz,A.) , 著 逻辑设计基础2016.(美) 罗斯 (Roth,C.H.) , (美) 金尼 (Kinney,L.L.) , 著 逻辑设计基础2009.(美) 哈伯德 (Hubbard,J.R.) , 著 数理逻辑基础与粒计算2007.闫林, 著 计算机逻辑设计2015.3余立功, 主编 计算机逻辑与基础2016.朱玉成, 编著 数字逻辑设计及应用2014.9姜书艳, 主编