Book of Proof


16 Ungluers have Faved this Work

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 differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

Print editions available via the author's website.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an rights holder.


This work has been downloaded 805 times via ebook links.
  1. 805 - pdf (CC BY-ND) at Internet Archive.


  • logic
  • Mathematics
  • Mathematics / Logic
  • Textbooks


edition cover
edition cover
edition cover


Copy/paste this into your site: