NPTEL Video Course : Mathematical Logic

Lecture 21 - Adequacy of Tableaux