陈晓平著2006 年出版282 页ISBN:730602678X
本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容:命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。
殷焕武,王振林等编著2005 年出版192 页ISBN:7111172345
本书最大的特点是对项目管理过程中的技术、工具和方法作了详细的介绍。
金征宇主编;胥传来,谢正军副主编2005 年出版322 页ISBN:7502568999
本书介绍了食源危害关键检验技术、疾病与危害的检测、食品安全控制技术等。
(法)克洛德·贝尔纳著;夏康农,管光东译2011 年出版266 页ISBN:9787100078078
本书论述了实验科学的思想方法,并将这种思想方法升华到哲学理论的高度。
(美)哈格勒(M.O.Hagler),克利蒂安森(M.Kristiansen)编;李银安译1981 年出版175 页ISBN:15175·360