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