NPTEL Video Course : NOC:Symbolic Logic

Lecture 29 - More on Conditional Proof