Enrolment options
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Teacher: Isabelle Bloch
- Teacher: Louis Jachiet
Self enrolment as 'Student'
Guests cannot access this course. Please log in.