NPTEL Video Course : Logic for CS

Lecture 13 - Proof Theory : Hilbert-style