NPTEL Video Course : Logic for CS

Lecture 34 - Completeness of the Hilbert System