Logic Colloquium ''87 by Bernhard Ebbinghaus & 'Ebbinghaus'