NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 38 - Introduction to First-Order Predicate Logic