NPTEL Video Course : Introduction to Logic


Lecture 30 - Proofs in the PM system


            


DIGIMAT Learning Management Platform