NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 30 - Propositional Logic: Syntactic Consequence Relation