Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 - Metakides, George, 1945- (North-Holland, 1982)