NPTEL Video Course : Introduction to Logic

Lecture 32 - Outlines of Predicate Logic