NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 50 - Predicate Logic: Reduced Products, Categoricity