NPTEL Video Course : Logic for CS

Lecture 17 - Introduction to Predicate Logic