Author: Logic Colloquium (1998 Prague, Czech Republic)