Section 5.3 1. Section Summary Recursively Defined Functions Recursively Defined Sets and Structures Structural Induction Generalized Induction 2.
