👤

Pavel Pudlák

2 books

Books by Pavel Pudlák

Logical Foundations of Mathematics and Computational Complexity
Logical Foundations of Mathematics and Computational Complexity
2016
Logic Colloquium '98
Logic Colloquium '98
2000