NPTEL Video Course : NOC:Symbolic Logic

Lecture 10 - Symbolization with Connectives