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

Άτυπα σχόλια περί των τυπικών γλωσσών [End. 1.0]

Η γλώσσα της προτασιακής λογικής [End. 1.1]

Ασκήσεις 3, 5 [End. 1.1]

Ένας αλγόριθμος συντακτικής ανάλυσης [End. 1.3]

Θεώρημα 32F · Πόρισμα 32G · Ασκήσεις 1., 2. [End. 3.2] 

Το σύνολο αξιωμάτων Α_Ε [End. 3.3]

Σύγκλιση [End. 2.8] 

Άσκηση 5 [End. 3.1] 

Πόρισμα 32D · Θεώρημα 32E (Presburger, 1929) [End. 3.2]

Αλγεβρικές Ιδιότητες [End. 2.8] 

Άλλοι περιορισμοί της θεωρίας αριθμών · Θεώρημα 32A · Πορίσματα 32B, 32C [End. 3.2]

Φυσικοί αριθμοί με διάδοχο [End. 3.1]

Μη συμβατική ανάλυση · Κατασκευή του *R [End. 2.8]

Θεωρία αριθμών [End. 3.0]

Ασκήσεις 4., 5., 8. [End. 2.5] 

Ασκήσεις 4., 7., 8. [End. 2.6]

Θεωρίες · Θεωρήματα 26G, 26H · Πόρισμα 26I · Έλεγχος Łos-Vaught (1954) · Θεώρημα 26J [End. 2.6]

Θεωρήματα Συμπάγειας, Αριθμησιμότητας · Πορίσματα 25F, 25G [End. 2.5] 

Πεπερασμένα μοντέλα · Μέγεθος μοντέλων [End. 2.6]