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 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
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model th
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