Mod-01 Lec-15 The Hilbert System : Soundness

Visit Advertiser

Mod-01 Lec-15 The Hilbert System : Soundness

Name: Mod-01 Lec-15 The Hilbert System : Soundness | Videos | Gan Jing World
Uploaded: 2023-12-03T17:45:47.362Z
Duration: 49 min 30 s
Description: 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 | Videos | Gan Jing World