• Mathematical Induction (Rosen 4.1)
• Recursive Definitions and Structural Induction (Rosen 4.3)