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