NPTEL Video Course : Introduction to Logic

Lecture 37 - Semantics of Predicate Logic