NPTEL Video Course : Introduction to Logic

Lecture 34 - Building blocks of Predicate Logic