NPTEL Video Course : Discrete Mathematics

Lecture 8 - First order logic (1)