NPTEL Video Course : NOC:Symbolic Logic

Lecture 19 - Using the Truth Trees