Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Ειδικά θέματα λογικής: Θεωρία τύπων
Αγαπητοί φοιτητές,
Τό σεμιναριακό μάθημα τής θεωρίας τύπων θα γίνεται Τετάρτη 11:00–14:00 στήν αίθουσα Δ τού ΤΠΤ. Η πρώτη συνάντηση θα πραγματοποιηθεί τήν Τετάρτη 1 Οκτωβρίου.
Νίκος Ρήγας