NPTEL Video Course : NOC:Symbolic Logic

Lecture 5 - Concepts of Validity Soundness, Consistency