NPTEL Video Course : Introduction to Logic

Lecture 29 - Hlbert Ackermann Axiomatic system