Working Backwards: Recursion, Induction, and Minimality - Expii

Learn how to realize and apply "recurring structures" through recursion, induction, minimality, and/or infinite descent arguments. Working "backwards" like this is a simple but powerful technique!.