NPTEL Video Course : Logic for CS

Lecture 4 - Logical and Algebraic Concepts