NPTEL Video Course : Introduction to Logic


Lecture 40 - Semantic Tableaux Method for Predicate Logic


            


DIGIMAT Learning Management Platform