Please ensure Javascript is enabled for purposes of website accessibility

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

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

Ανακοινώσεις

Παρουσίαση 11 Φεβρουαρίου

Θέμα: Διατακτικοί αριθμοί και κλασικές καλές διατάξεις

Ομιλητής: Νικήτας Πασλής

Ημέρα: Πέμπτη 11 Φεβρουαρίου

Ώρα: 12:15