NPTEL Video Course : Logic for CS

Lecture 10 - The Completeness Theorem