Logic Colloquium '98Logic Colloquium (1998 Prague, Czech Republic), Petr Hajek, Pavel Pudlak · First published 2000Open the Tome
Lattice of Chapters of Mathematics (Interpretations Between Theorems)Jan Mycielski, Pavel Pudlak, Alan S. Stern · First published 1990Open the Tome
