NPTEL Video Course : Introduction to Logic

Lecture 40 - Semantic Tableaux Method for Predicate Logic