Author: Logic Colloquium (1980 Prague, Czech Republic)