Recursive Definitions And Structural Induction In Discrete Mathematics

Recursive Definitions And Structural Induction In Discrete Mathematics