Τυπικά αξιωματικά Συστήματα (Στα πλαίσια πρωτοβάθμιας Γλώσσας με ισότητα). Κ. Κυρίτσης — 1986 Μαθηματική Επιθεώρηση
Προβλήματα των Θεμελίων των Μαθηματικών. Γ. Στρατής; Σ. Ζήλια; Α. Ιερεμίας; Α. Κυρίτσης; Κ. Κυρίτσης; Κ. Τζανάκης; Η. Κωνσταντόπουλος; Ξ. Μελέκος; Θ. Παπανικολάου; Ν. Τσικόπουλος — 1981 Μαθηματική Επιθεώρηση