本书是海外优秀数学类教材系列丛书之一，从培生教育集团引进。本书向学生介绍各种证明方法、分析证明过程，以帮助学生独立撰写正确且清晰的证明过程。书中先介绍逻辑基础，再引入各种常用的证明方法，如直接证法、反证法、数学归纳法等，然后详细分析数学各分支（数论、组合学、数学分析、群论、高等代数等）中的典型证明过程。各章的练习因其精心设计和创造性而受到学生的一致好评，它们帮助学生进一步分析和理解各种证明方法，使其最终能独立写出良好的证明过程。