NPTEL Video Course : Introduction to Logic


Lecture 39 - Formation Trees for wff’s in predicate Logic


            


DIGIMAT Learning Management Platform