Pavel Pudlák

Logical Foundations of Mathematics and Computational Complexity