NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 33 - Propositional Logic: Consistency and Soundness Theorem