An Introduction to Higher Mathematics
by Patrick Keef, David Guichard, Russ Gordon
Publisher: Whitman College 2010
Number of pages: 144
Contents: Logic (Logical Operations, De Morgan's Laws, Logic and Sets); Proofs (Direct Proofs, Existence proofs, Mathematical Induction, Indirect Proof); Number Theory (The Euclidean Algorithm, The Fundamental Theorem of Arithmetic); Functions (Injections and Surjections, Cardinality and Countability, Uncountability of the Reals).
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 Joseph Fields - Southern Connecticut State University
The point of this book is to help you with the transition from doing math at an elementary level (concerned mostly with solving problems) to doing math at an advanced level (which is much more concerned with axiomatic systems and proving statements).
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.
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.