NPTEL Video Course : Introduction to Logic

Lecture 21 - Semantic Tableaux Method: Further Examples