Logic Colloquium (2003 Helsinki, Finland) | lit.salon