NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 47 - Predicate Logic: Compactness Theorem