Pudlak, Pavel books & textbook
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
Springer /2013-05-31 Hardcover / 709 Pages
isbn-10: 3319001183 / isbn-13: 9783319001180
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
Springer /1998-03-17 Paperback / 474 Pages
isbn-10: 354063648X / isbn-13: 9783540636489
Logic Colloquium '98: Lecture Notes in Logic 13
Buss, Sam Hajek, Petr Pudlak, Pavel
A K Peters/CRC Press /2000-01-06 Paperback / 560 Pages
isbn-10: 1568811144 / isbn-13: 9781568811147
A Lattice of Chapters of Mathematics: Interpretations Between Theorems (Memoirs of the American Mathematical Society)
Mycielski, Jan Pudlak, Pavel Stern, Alan S.
Amer Mathematical Society /1990-01-01 Paperback
isbn-10: 0821824880 / isbn-13: 9780821824887
