NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 49 - Predicate Logic: Lowenheim-Skolem Theorems