Title: Logic Colloquium 2007
Subjects: Symbolic and mathematical Logic, Congresses, Logic, symbolic and mathematical