NPTEL Video Course : Mathematical Logic

Lecture 34 - Syntatic Interpretation