Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Ασκήσεις
Τή Δευτέρα 6 Νοεμβρίου θα συζητηθούν οι ασκήσεις τών δύο πρώτων κεφαλαίων τών σημειώσεων. Παρακαλώ να στείλετε τίς λύσεις όποιων από αυτές σάς ενδιαφέρουν τό αργότερο μέχρι τήν προηγούμενη Κυριακή 5 Νοεμβρίου.