NPTEL Video Course : NOC:Symbolic Logic

Lecture 36 - First Order Predicate Logic