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