TimeEdit - Stockholms universitet FILOGX, Logik i datavetenskap och artificiell intelligens 2024-04-15 - 2024-04-21 v 16 v 16-v 16