NPTEL Video Course : Logic for CS

Lecture 9 - Consistency and Completeness