NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 36 - Compactness Theorem and Konig's Lemma