NPTEL Video Course : Mathematical Logic

Lecture 13 - Adequacy of Resolution