8. Logic. Structural induction and Recursion

[@СвітланаМожаровська]

At 6:50.would it work,, if the condition that the set is FREELY generated does not hold?

[@СвітланаМожаровська]

There a couple of places, where some little clips are dropped,, in particular at 2:20

[@HuaimingZhang]

Any detailed proof for the recursion theorem?

[@kainenfecteau9001]

th-cam.com/video/SZ_es6DVmJw/w-d-xo.htmlsi=vmufZ2HaF7Bmc3Jo