NPTEL Video Course : Introduction to Logic

Lecture 31 - Hilbert and Ackermann System