Logic Colloquium '80 | lit.salon