Report copyright - Fall 2015 Lecture 18: Recursively defined sets and structural … · structural induction vs. ordinary induction Ordinary induction is a special case of structural induction: Recursive
Please pass captcha verification before submit form