Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France July 23-31, 2000 - Cori, René (Association for Symbolic Logic ; A. K. Peters, 2005)