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

Άσκηση 7 [End 2.4]
Θεώρημα 24 ( ́Υπαρξης αλφαβητικών παραλλαγών) [End 2.4]
Ισότητα [End 2.4]
Θεώρημα πληρότητας και θεώρημα αξιοπιστίας  [End 2.5]

Λήμμα 24c (Κανόνας Τ), Θεώρημα Συναγωγής, Αντιθετοαντίστροφο, Γενίκευση σε σταθερές, Πορίσματα 24G/H [End.]

Συναγωγικός Λογισμός (Τυπικές Συναγωγές, Αντικατάσταση, Ταυτολογίες) [End 2.4]

Ασκήσεις 1 (υποερωτήματα δ), ε), στ)), 2 [End 2.1]
Ασκήσεις 1 (υποερώτημα β)), 2, 3, 8, 9 (υποερωτήματα β), γ)) [End 2.2]

Ελεύθερες Μεταβλητές [End 2.1]
Αλήθεια και Μοντέλα [End 2.2]

Πλήρη σύνολα συνδέσμων Προτασιακής Λογικής
Κλώνοι συναρτήσεων Boole 

Προτασιακοί Σύνδεσμοι [End. 1.5]

Άσκηση 4 [End. 1.7]

Πρωτοτάξιες Γλώσσες, Τύποι [End. 2.1]

Απόδειξη Θεωρήματος της Συμπάγειας [End. 1.7]

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

Απονομή αληθοτιμών [End. 1.2]