NPTEL Lecture : 'Validity, Satisfiability & Equivalence'

Validity, Satisfiability & Equivalence

  • Course: Mathematical Logic
  • Discipline: Mathematics
  • Faculty: Prof. Arindama Singh
  • Institute: IIT Madras