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