Logic Colloquium '87 | lit.salon