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

Έτος

2020-2021

Εξάμηνο

Χειμερινό

Τύπος

Επιλογής

Διδάσκοντες

Νικόλαος Ρήγας

Ιστοσελίδα

https://eclass.uoa.gr/courses/DI553/

Ημερομηνία έναρξης

7/10/2020