Notational and Logical Completeness in three-Valued Logic George Koletsos — 1981 Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
A Godel-Functional Interpretation of the ω-Rule George Koletsos — 1982 Δελτίο της Ελληνικής Μαθηματικής Εταιρίας