Basic Mathematical Logic: propositional and predicative logic. In detail:
-Propositional logic: syntax, satisfiability and logical consequence, transformation into normal forms, semantic tableaux, natural deduction.
-Predicate logic: syntax, satisfiability and logical consequence, relations among models and logic with equality, semantic tableaux, natural deduction.
-Translation from natural language into formal language.