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

Μεταθεώρημα Γενίκευσης· Πόρισμα 24C (μεταθεώρημα Ταυτολογικών συνεπειών)· Μεταθεώρημα Συναγωγής· Πόρισμα 24D (μεταθεώρημα Αντιθετοαντιστροφής)· Πόρισμα 24E (μεταθεώρημα Απαγωγής σε άτοπο)· Στρατηγική για τυπικές αποδείξεις· Διατύπωση Μεταθεωρήματος 24F (Γενίκευση σε σταθερές), Πορίσματος 24H (μεταθεώρημα Ύπαρξης), Μεταθεωρήματος 24I (Αλφαβητικές Παραλλαγές) [End. 2.4]