NPTEL Lecture : 'Proof Theory : Hilbert-style'

Proof Theory : Hilbert-style

  • Course: Logic for CS
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. S. Arun Kumar
  • Institute: IIT Delhi