NPTEL Video Course : Logic for CS


Lecture 35 - First-Order Theories


            


DIGIMAT Learning Management Platform