NPTEL Video Course : Introduction to Logic

Lecture 36 - Translation in to predicate Logic