NPTEL Video Course : NOC:Basic Concepts of Modal Logic


Lecture 20 - Semantic Tableaux method - I


            


DIGIMAT Learning Management Platform