Ειδικά Θέματα Λογικής: Θεωρία Τύπων του Martin-Löf

Έτος
2020-2021
Εξάμηνο
Χειμερινό
Τύπος
Επιλογής
Διδάσκοντες
Νικόλαος Ρήγας
Ημερομηνία έναρξης
7/10/2020