■     Kurt Gödel

             1^o Θεώρημα μη-πληρότητας (On Formally Undecidable Propositions of

             Principia Mathematica and Related Systems)

               ■     Alan Mathison Turing

                       On Computable Numbers, with an Application to the

                       "Entscheidungsproblem"

                       ■     Μ.Π.Λ.Α.

                               Λογική και Θεωρία Αλγορίθμων και Υπολογισμού

                               (Διαπανεπιστημιακό πρόγραμμα μεταπτυχιακών σπουδών)

                                ■     Μια Εισαγωγή στη Δυναμική Λογική

                                        (η μεταπτυχιακή μου εργασία)

                                ■     Εγκατάσταση TeX

                                       ■     Κλάσεις πολυπλοκότητας

                                              ■     Ο π είναι υπολογίσιμος αριθμός

                                                      (μία άσκηση)

                                                      ■     β-αναγωγή στο λ-λογισμό

                                                               (μία προγραμματιστική άσκηση)

                                                               ■     Προσομοιωτής Μηχανών Turing

                                                                         (μία ακόμα προγραμματιστική άσκηση)