NPTEL Video Course : Logic for CS

Lecture 23 - Predicate Logic: Proof Theory (Continued...)