现代逻辑设计：第2版2005.06(美) 卡茨 (Katz,R.H.) 等, 著 逻辑学导论2011.8徐继芳, 主编 魔鬼逻辑学2014.1赵传武, 著 逻辑学导论2013.周建武, 等主编 逻辑学引论2013.1陈爱华, 主编 逻辑学引论2018.5蒋军利, 主编 简单的逻辑学2011.4(美) 麦克伦尼 (Dennis, Q.M.) , 著 简单的逻辑学2016.8(美) D.Q.麦克伦尼 (D.Q.McInerny) , 著 数理逻辑与集合论2016.1房元霞, 赵汝木, 盛秀艳, 编著 简单逻辑学2007.(美) 麦克伦尼, 著 数字逻辑设计基础2012.2何建新, 高胜东, 主编 数字逻辑设计基础2019.1何建新, 主编 简明逻辑学2010.12(英) 普里斯特 (Priest,G.) , 著 数理逻辑2006.12(美) 恩德滕, 著 逻辑学读本2009.陈波, 主编