NPTEL Video Course : Logic for CS

Lecture 16 - The Hilbert System : Completeness