本書是海外優(yōu)秀數學類教材系列叢書之一，從培生教育集團引進。本書向學生介紹各種證明方法、分析證明過程，以幫助學生獨立撰寫正確且清晰的證明過程。書中先介紹邏輯基礎，再引入各種常用的證明方法，如直接證法、反證法、數學歸納法等，然后詳細分析數學各分支（數論、組合學、數學分析、群論、高等代數等）中的典型證明過程。各章的練習因其精心設計和創(chuàng)造性而受到學生的一致好評，它們幫助學生進一步分析和理解各種證明方法，使其最終能獨立寫出良好的證明過程。