NPTEL Video Course : NOC:Symbolic Logic

Lecture 27 - Indirect Proof