NPTEL Video Course : Mathematical Logic

Lecture 20 - Examples of Tableau Proofs