NPTEL Video Course : Logic for CS

Lecture 21 - Structures and Substructures