Logic Colloquium '02 Logic Colloquium '02
2006
Proof Theory Proof Theory
2008