NPTEL Video Course : Introduction to Logic


Lecture 43 - Important theorems in First order Logic


            


DIGIMAT Learning Management Platform