nested loops predicate logic mathematical induction strong induction recursion structural induction iteration
See more