Le cours est une continuation du 1er cours de logique (cours de logique formelle I) du semestre d'automne 2019 et il traite des sujets logiques avancés. Il a lieu tous les deux ans.
- Docente: Elisa Bezençon
- Docente: Maximilian Vincent Nietschke
- Docente: Giovanni Sommaruga