Author: Logic Colloquium (1977 Wrocław, Poland)