A TeXas Style Introduction to Proof is an IBL textbook designed for a one-semester course on proofs (the “bridge course”) that also introduces TeX as a tool

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or diffe

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the

According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "per

Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.