کتاب های Pavel Pudlák
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
Pavel Pudlák (auth.), Serge Abiteboul, Eli Shamir (eds.), 1994
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Pavel Pudlák (auth.), 2013
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák, 2017
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Buss, Samuel R.; Hájek, Petr; Pudlák, Pavel(eds.), 2000
