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

Αλγεβρικές Ιδιότητες και Σύγλιση στην Μη Συμβατική Ανάλυση [End 2.8] 

Θεώρημα Πληρότητας [End 2.5]
Μέγεθος Μοντέλων [End 2.6]

Θεώρημα Πληρότητας [End. 2.5]

Μη Συμβατική Ανάλυση [End 2.8]

Θεώρημα Συμπάγειας [End 2.5]
Ασκήσεις 5, 6 [End 2.5]
Πεπερασμένα Μοντέλα (Θεώρηματα Α, Β) [End 2.6]
Θεωρίες [End 2.6]

Ομομορφισμοί [End 2.2]

Αλήθεια και Μοντέλα [End 2.2, (χωρίς τους ομομορφίσμους)]

Θεώρημα Αξιοπιστίας [End 2.5]
Λήμμα 25Α [End 2.5]
Λήμμα 25Β [End 2.5]
Λήμμα αντικατάστασης [End 2.5]

Θεώρημα Πληρότητας [End 2.5]
Θεώρημα Συμπάγειας  [End 2.5]

Αλγόριθμος συντακτικής ανάλυσης [End 2.3]
Άσκηση 1 [End 2.3]
Ασκήσεις 2, 4, 6, 7, 9, 10, 11 [End 2.4]