Mod-01 Lec-13 Proof Theory : Hilbert-style

Visit Advertiser

Mod-01 Lec-13 Proof Theory : Hilbert-style

Name: Mod-01 Lec-13 Proof Theory : Hilbert-style | Videos | Gan Jing World
Uploaded: 2023-12-03T17:46:18.881Z
Duration: 56 min 43 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