NPTEL Video Course : Logic for CS

Lecture 12 - Formal Theories