NPTEL Video Course : NOC:Discrete Mathematics (Prof. Sajith Gopalan)

Lecture 6 - First Order Logic: wffs, interpretations, models