NPTEL Video Course : NOC:Discrete Mathematics

Lecture 6 - Formal Proofs