NPTEL Video Course : Logic for CS

Lecture 27 - Substitutions and Instantiations