Logic Colloquium 2000de Logic Colloquium, Rene Cori, France) Logic Colloquium (2000 ParisMateriasMathematical logicLogic, Symbolic and mathematicMathematicsScience/MathematicsLogic, Symbolic and mathematicalLogicCongressesSymbolic and mathematical Logic