NPTEL Video Course : Discrete Mathematical Structures

Lecture 5 - Logical Inference