NPTEL Video Course : Logic for CS


Lecture 10 - The Completeness Theorem


            


DIGIMAT Learning Management Platform