电子书《证明之书》(Book of Proof)
www.people.vcu.edu/~rhammack/BookOfProof/BookOfProof.pdf
本书是由Richard Hammack撰写的一本关于数学证明技巧的教材。书中内容涵盖了数学基础、逻辑、计数原理、条件语句证明、非条件语句证明、集合论、反证法、数学归纳法等多个主题,期望帮助学生理解数学结构,证明数学命题,并探索数学真理。作者结合了自己在弗吉尼亚联邦大学和兰多夫-梅肯学院教授证明课程的经验,将讲义扩展和精炼成此书,适合各类本科数学课程。