Author: France) Logic Colloquium (2000 Paris