NPTEL Video Course : Mathematical Logic

Lecture 16 - Some Results about PC