An Inquiry-Based Introduction to Proofs
by Jim Hefferon
Publisher: Saint Michael's College 2013
Number of pages: 23
Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. The text consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks. The instructor does not lecture but instead lightly guides as the class works through the material together.
Home page url
Download or read it online for free here:
by Ted Sundstrom - Pearson Education, Inc.
'Mathematical Reasoning' is designed to be a text for the first course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics.
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 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 Peter J. Eccles - Cambridge University Press
This book introduces basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory.