作者：张寅生著
出版社： 国防工业出版社
CIP号：2015266307
书号：978-7-118-10079-2
出版地：北京
出版时间：2015.11
定价：￥52.0
本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：什么是数学证明，证明的通用方法是什么，关于数学证明取得了哪些重要认识（定理或命题）。