This text is intended as an introduction to mathematical proofs for students. It is distilled from the lecture notes for a course focused on set theory subject

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid

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

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

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least