NPTEL Video Course : Logic for CS

Lecture 22 - First-Order Theories