NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 35 - Propositional Logic: Completeness Theorem - Part II