NPTEL Video Course : Logic for CS

Lecture 31 - Resolution : Soundness and Completeness