Logic Colloquium '02 door Wolfram Pohlers & Logic Colloquium 0