NPTEL Video Course : Logic for CS

Lecture 18 - The Semantic of Predicate Logic