A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience

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 Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writin

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

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods