Part I: Proofs, and Mathematical Preliminaries Introduction to Logic, Proofs. Principle of Mathematical Induction, Strong Induction.