Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Σημειώσεις
Ανέβηκαν οι σημειώσεις τών δύο πρώτων διαλέξεων. Οι σημειώσεις είναι μία σύνθεση παλαιότερου υλικού και τών σημειώσεων που κράτησε ο Ανδρέας Αβουκάτος, τόν οποίο θα ήθελα να ευχαριστήσω.