NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 40 - Predicate Logic: Validity of Formulas