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