NPTEL Video Course : NOC:Symbolic Logic

Lecture 21 - Formal Proof of Validity