"The prose is clear and cogent ... the exercises are plentiful and are pitched at the right level.... I recommend this book very highly!"
"The book provides a valuable introduction to the nuts and bolts of mathematical proofs in general."
"This is a good book, and an exceptionally good mathematics book. Thorough and clear explanations, examples, and (especially) exercised with complete solutions all contribute to make this an excellent choice for teaching yourself, or a class, about writing proofs."
Brent Smith, SIGACT News
Beginning with the basic concepts of logic and set theory, this book teaches the language of mathematics and how it is interpreted. The author uses these concepts as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. He shows how complex proofs are built up from these smaller steps, using detailed "scratch work" sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.