NPTEL Video Course : Introduction to Logic

Lecture 33 - Outlines of Predicate Logic