陈晓平著2006 年出版282 页ISBN:730602678X
本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容:命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。
陈书申,陈晓平著2006 年出版278 页ISBN:7562924791
本书系统概述了土力学的基本理论和地基基础的常用设计方法,适当介绍了该领域的最新研究成果。
陈晓敏主编;闵兰,冯瑛副主编;余川祥,陈晓敏,刘红等编2010 年出版194 页ISBN:9787811337013
本书共分七章。第一章函数与极限,第二章导数与微分,第三章导数的应用,第四、五章高等数学积分学,第六章多元函数的微积分,第七章常微分方程。...