Sometimes people read mathematical proofs and think they are reading a foreign language. This book describes the language used in a mathematical proof and also the different types of proofs used in math. This book will use a lot of set theory, but most of it will be sufficiently explained or intuitive, so no rigorous knowledge of math is prerequisite.
- Methods of Proof
- Proof and Computer Programs
- Proof Assistants
Last modified on 3 July 2012, at 10:54