NPTEL Video Course : Logic for CS

Lecture 8 - Analytic Tableaux