Book of Proof
by Richard Hammack
Publisher: Virginia Commonwealth University 2009
Number of pages: 270
This textbook is an introduction to the standard methods of proving mathematical theorems. It is written for an audience of mathematics majors at Virginia Commonwealth University, and is intended to prepare the students for more advanced courses. The book is suitable for almost any undergraduate mathematics program.
Home page url
Download or read it online for free here:
by Elias Zakon - The Trillia Group
The book will help students complete the transition from purely manipulative to rigorous mathematics. It covers basic set theory, induction, quantifiers, functions and relations, equivalence relations, properties of the real numbers, fields, etc.
by Patrick Keef, David Guichard, Russ Gordon - Whitman College
Contents: Logic (Logical Operations, De Morgan's Laws, Logic and Sets); Proofs (Direct Proofs, Existence proofs, Mathematical Induction); Number Theory (The Euclidean Algorithm); Functions (Injections and Surjections, Cardinality and Countability).
by Alexander Bogomolny - Interactive Mathematics Miscellany and Puzzles
I'll distinguish between two broad categories. The first is characterized by simplicity. In the second group the proofs will be selected mainly for their charm. Most of the proofs in this book should be accessible to a middle grade school student.
by James Franklin, Albert Daoud - Kew Books
This is a small (98 page) textbook designed to teach mathematics and computer science students the basics of how to read and construct proofs. The book takes a straightforward, no nonsense approach to explaining the core technique of mathematics.