NPTEL Video Course : Mathematical Logic

Lecture 35 - Herbrand's Theorem