NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 46 - Predicate Logic: Ultraproduct of Structures and Los's Theorem