Jan Krajicek

• Logic Colloquium '01
• Bounded Arithmetic, Propositional Logic and Complexity Theory