NPTEL Video Course : Mathematical Logic

Lecture 14 - Adequacy and Resolution Strategies