Logic Colloquium '82 | lit.salon