NPTEL Video Course : Mathematical Logic

Lecture 22 - Syntax of First order Logic (FL)