Logic Colloquium 2004 door A. Alessandro