Introduction to Mathematical Logic

4 Units.

First order logic through the Completeness Theorem for predicate logic.