Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / - Metakides, George, (Studies in logic and the foundations of mathematics ;)