Pudlák, Pavel. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)293171: Pudlák, Pavel. autor, Logical Foundations of Mathematics and Computational Complexity :