NPTEL Video Course : Logic for CS


Lecture 23 - Predicate Logic: Proof Theory (Continued...)


            


DIGIMAT Learning Management Platform