Logic Colloquium (2001 Vienna, Austria) | lit.salon