书籍介绍
面对证明题，你是否一脸茫然、不知所措呢？是不是迫切需要一个人来教你写证明呢？本书将带给你惊喜，教你一步一步地构造证明的框架。阅读本书不需要太多的知识背景，只需要你具有高中数学基础。为了让你熟悉数学语言，作者从构建证明的基础——逻辑和集合论的基本概念讲起。丰富的示例，大量的习题，足以让你在它的指导下掌握证明的“游戏规则”。新版添加了200多个练习题，并且附录中给出部分练习的答案或提示。其中一些习题可以用计算机软件Proof Designer来解答，作者还在附录中介绍了Proof Designer软件。
本书深受好评，众多读者受益于本书，学会了如何证明数学题。无论你来自什么背景，是从事计算机科学还是哲学、语言学，只要你对逻辑和证明感兴趣，就应该仔细研读这本书。研究数学的师生更是不可错过本书。
用户评论
唉，要是以前上数学课以前能有一本这个书就好了。这书不是让你嗯背套路或者奇技淫巧，而是从形式逻辑出发教大家如何证明和如何去构造证明（Givens-Goal），教你如何去变化和构造子目标和转换条件（利用各个条件涉及的Theorems和Definition)，其实感觉就是一个证明树，每个点是条件或者要达到的目标，枝干是广义上的映射，最后借助不同的关联达到Goal。书里的证明的内容是比较简单的，大概相当于集合论的前几章那一种。这种形式化的证明其实就是Lean或者coq这样的自动化证明机的基础类的东西。
本书只有英文版而没有中文版实在是太可惜了，图灵图书仅仅是把英文版套上中文的外壳出版了，要是能翻译成中文版就好了（图灵图书的这一版比较老，没有数论证明的部分）
扯淡啊
【科研帝论坛 keyandi.com】有此本书的英文原版电子书下载噢