Examination procedure
Seminars.
Prerequisites
Basic knowledge of first-order logic: semantics and proof theory.
Syllabus
Module 3:
Advanced themes in logic: axioms and rules. Seminars and discussions.
Bibliographical references
Monographs and articles will be indicated during lectures.