Pavel Pudlak Author

Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague. Pavel Pudlák works in the Mathematical Institute at the Academy of Sciences of the Czech Republic, Prague.