Title: Logic Colloquium 2000
Subjects: Mathematical logic, Logic, Symbolic and mathematic, Mathematics, Science/Mathematics, Logic, Symbolic and mathematical, Logic, Congresses, Symbolic and mathematical Logic, Logique symbolique et mathématique, Congrès