Logic Colloquium 2000 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23 - 31, 2000 (Assoc. for Symbolic Logic, 2005)