NPTEL Video Course : Introduction to Logic


Lecture 21 - Semantic Tableaux Method: Further Examples


            


DIGIMAT Learning Management Platform