NPTEL Video Course : Mathematical Logic

Lecture 17 - Arguing with Proofs