Author: Austria) Logic Colloquium (2001 Vienna