NPTEL Video Course : Mathematical Logic

Lecture 41 - Analytic Tableau for FL