NPTEL Video Course : Mathematical Logic

Lecture 15 - Propositional Calculus (PC)