A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium \'01 includes surveys and research articles from some of the world\'s preeminent logicians tovább