Search results for: Pavel Pudlák
computational complexity > 2019 > 28 > 2 > 185-239
Annals of Pure and Applied Logic > 2012 > 163 > 5 > 604-614
computational complexity > 2019 > 28 > 2 > 185-239
Annals of Pure and Applied Logic > 2012 > 163 > 5 > 604-614