20410451-2 - LM410 -THEOREMS IN LOGIC 1 - Module B

To acquire a good knowledge of first order classical logic and its fundamental theorems.