4.2.1. Recursive Definitions and Structural Induction Notes | Discrete Structure BSC-CSIT | TU | TABFlux