NPTEL Video Course : NOC:Basic Concepts of Modal Logic


Lecture 6 - Semantic Tableaux Method-3: More puzzles


            


DIGIMAT Learning Management Platform