NPTEL Video Course : Mathematical Logic

Lecture 23 - Symbolization & Scope of Quantifiers