This book covers all the topics you need to understand and write your own proofs. Learn the logic behind number theory proofs and master the use of symbolic logic to formalize theorems. Starting from the basics, you will explore the essential concepts that underpin number theory proofs. Step-by-step, you will learn to analyze, dissect, and construct clear and concise proofs in this fascinating field. With a focus on nurturing your logical reasoning and problem-solving skills, this book equips you with the tools necessary to confidently tackle intricate number theory problems and present compelling proofs. The topics treated include the following: Propositional logic - Predicate logic - Quantifier proof rules - Direct proof - Proof by cases - Proof by counterexample - Proof by contrapositive - Proof by contradiction - Infinity quantifier