NPTEL Video Course : Logic for CS

Lecture 33 - Completeness of Tableaux Method