面对证明题，你是否一脸茫然、不知所措呢？是不是迫切需要一个人来教你写证明呢？本书将带给你惊喜，教你一步一步地构造证明的框架。阅读本书不需要太多的知识背景，只需要你具有高中数学基础。为了让你熟悉数学语言，作者从构建证明的基础——逻辑和集合论的基本概念讲起。丰富的示例，大量的习题，足以让你在它的指导下掌握证明的“游戏规则”。新版添加了200多个练习题，并且附录中给出部分练习的答案或提示。其中一些习题可以用计算机软件Proof Designer来解答，作者还在附录中介绍了Proof Designer软件。 本书深受好评，众多读者受益于本书，学会了如何证明数学题。无论你来自什么背景，是从事计算机科学还是哲学、语言学，只要你对逻辑和证明感兴趣，就应该仔细研读这本书。研究数学的师生更是不可错过本书。