NPTEL Video Course : Logic for CS

Lecture 35 - First-Order Theories