Pavel Pudlák

• Logical Foundations of Mathematics and Computational Complexity
• Logical Foundations of Mathematics and Computational Complexity
• Logic Colloquium '98