- Computer - Logic for CS Free Video Tutorials and Notes Lectures
- Mod-01 Lec-24 Existential Quantification Free Video Tutorials and Notes Lectures
Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in