Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / ed. by George Metakides. (Studies in Logic and the Foundations of Mathematics, 1982)