Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Ολοκλήρωση απόδειξης Θεωρήματος 17B· Απόδειξη Θεωρήματος 17C, Πορίσματος 17D, Θεωρημάτων 17E, 17F, 17G [End. 1.7]

Αλγόριθμος Συντακτικής Ανάλυσης· Θεώρημα μοναδικής αναγνωσιμότητας για Όρους· Θεώρημα μοναδικής αναγνωσιμότητας για Τύπους [End. 2.3] 

Θεώρημα του Ομομορφισμού και απόδειξη στην περίπτωση του Ισομορφισμού· Στοιχειώδης Ισοδυναμία δομών· Ασκήσεις 17., 18.(α) [End. 2.2]