Logic Colloquium ''87 door Bernhard Ebbinghaus & 'Ebbinghaus'