NPTEL Video Course : Introduction to Logic

Lecture 35 - Quantifiers, freedom, bondage