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.
- Enseignant·e: Elisa Bezençon
- Enseignant·e: Maximilian Vincent Nietschke
- Enseignant·e: Giovanni Sommaruga