Reasoning & Logic - Structural induction

This time we discuss structural induction. It's just like mathematical induction only not on the set N. Pencast for the course Reasoning & Logic offered at Delft University of Technology. Accompanies the open textbook: Delftse Foundations of Computation.