NPTEL Video Course : NOC:Discrete Mathematics for CS

Lecture 2 - Whar are Proofs - I