NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 51 - Predicate Logic: Categoricity (Continued...) and Quantifier Elimination