NPTEL Video Course : Mathematical Logic

Lecture 31 - More Proofs and Prenex Form