个人简介
Daniel J. Velleman 艾姆赫斯特（Amherst）学院数学与计算机科学系教授，《美国数学月刊》主编。另著有 Which Way Did The Bicycle Go和Philosophies of Mathematics。他的研究兴趣广泛，主攻数理逻辑，在组合、拓扑、分析、数学方法论、量子力学等多个领域都发表了大量论文。
内容简介
本书介绍了数学证明的基本要点，内容通俗而不失严谨，可以帮助高中以上程度的学生熟悉数学语言，迈入数学殿堂。新版添加了200多个练习题，附录中给出部分练习的答案或提示。
本书适用于任何对逻辑和证明感兴趣的人，数学、计算机科学、哲学、语言学专业的读者都可以从中获益匪浅。