NPTEL Video Course : Mathematical Logic

Lecture 19 - Compactness & Analytic Tableau