NPTEL Video Course : Mathematical Logic

Lecture 29 - Laws, Calculation & Informal Proof