普通逻辑2003.09周感华, 李国富, 主编 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 基于不确定规则的模糊逻辑系统2013.(美) 孟德尔 (Mendel,J.M.) , 著 普通逻辑2011.7郭庆祥, 姜奇, 主编 普通逻辑2011.8《普通逻辑》编写组, 编 《逻辑学》教学用书2003.中国人民大学哲学系逻辑教研室, 编 逻辑学2003.10王汉清, 编著 普通逻辑教程2006.11吴静, 主编 普通逻辑原理2004.02孙仁生, 主编 实用逻辑教程2005.08尹鑫, 主编 普通逻辑教程2007.08冉兆晴, 主编 逻辑学2003.05宁莉娜, 编著 分数阶系统分析与设计2011.1赵春娜, 李英顺, 陆涛, 著 普通逻辑学2006.10李曼, 编著 普通逻辑学2013.6杜音, 主编