Logic Colloquium '92 | lit.salon