NPTEL Video Course : Mathematical Logic

Lecture 9 - Normal forms