Pavel Pudlak

3 books • 4 series

Pavel Pudlak works in the Mathematical Institute at the Academy of Sciences of the Czech Republic, Prague.
May 31, 2013
Cover of Logical Foundations of Mathematics and Computational Complexity

Logical Foundations of Mathematics and Computational Complexity (Springer Monographs in Mathematics)

Feb 4, 1993
Cover of Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic (Perspectives in Logic) (Perspectives in Mathematical Logic)

Jul 30, 1990
Cover of A Lattice of Chapters of Mathematics (Interpretations between Theorems)

A Lattice of Chapters of Mathematics (Interpretations between Theorems) (Memoirs of the American Mathematical Society)