Truth functions, models and Tarski's truth definition, semantic trees, natural deduction, the completeness theorem of predicate logic.
Lectures and weekly exercises. The amount of tuition depends on the number of credits awarded for the course.
2nd or 3rd year