NPTEL Video Course : Logic for CS

Lecture 15 - The Hilbert System : Soundness