Ίδρυμα
Εξωτερικός συνεργάτης
Όνομα | Έτος Sort descending | Εξάμηνο |
---|---|---|
Ειδικά Θέματα Λογικής: Θεωρία Τύπων του Martin-Löf | 2020-2021 | Χειμερινό |
Ομοτοπική Θεωρία Τύπων | 2020-2021 | Εαρινό |
Ειδικά Θέματα Λογικής: Θεωρία Τύπων | 2023-2024 | Χειμερινό |