Pavel Pudlák · 3 obras en el catálogoObrasLogical Foundations of Mathematics and Computational ComplexityLogical Foundations of Mathematics and Computational ComplexityLLogic Colloquium '98Logic Colloquium '98