3.2. Recursive Definitions and Structural Induction Verbal Notes | Discrete Structure BIT | TU | TABFlux