张寅生著《证明方法与理论》已于2015年11月由国防工业出版社出版。该专著阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。

 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别

给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。

 “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展

脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。

本书力图解决以下问题：什么是数学证明？数学证明的通用方法有哪些？关于数学证明取得了哪

些重要认识？

 作为跨学科研究的尝试，本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专

业工作者的教材或参考书。

 联系作者：zhangyinshengnet@sina.com