NPTEL Video Course : Mathematical Logic

Lecture 18 - Adequacy of PC