NPTEL Video Course : NOC:Symbolic Logic

Lecture 26 - Completeness : What it is