NPTEL Video Course : Discrete Mathematics

Lecture 9 - First order logic (2)