Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf
Κωδικός : DI553
Παρουσίαση 11 Φεβρουαρίου
Θέμα: Διατακτικοί αριθμοί και κλασικές καλές διατάξεις
Ομιλητής: Νικήτας Πασλής
Ημέρα: Πέμπτη 11 Φεβρουαρίου
Ώρα: 12:15
Θέμα: Διατακτικοί αριθμοί και κλασικές καλές διατάξεις
Ομιλητής: Νικήτας Πασλής
Ημέρα: Πέμπτη 11 Φεβρουαρίου
Ώρα: 12:15