Title: Logic Colloquium 2005
Subjects: Symbolic and mathematical Logic, Congresses