Mod-01 Lec-31 Hilbert and Ackermann System

Mod-01 Lec-31 Hilbert and Ackermann System

n
nptelhrd
4 Video Views·Jan 12, 2024

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in