Section outline
-
-
-
-
-
Induction: An introduction to proof techniques, covering proof by contradiction and induction
-