NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 42 - Predicate Logic Substructures, Semantic Consequence Relation, and Models of Theories