Austria) Logic Colloquium (2001 Vienna