07:25 duration 7 minutes 25 seconds
CL - 7b - Quantifiers And Lambda
In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".