NPTEL Video Course : Logic for CS

Lecture 24 - Existential Quantification