1. G. Grätzer: The congruences of a finite lattice, a proof-bypicture approach Creator: Pudlák, Pavel Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Pavel Pudlák Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
2. George Grätzer: General lattice theory: New appendices by B A. Davey, R. Frees, B. Ganter, M. Greferath, P. Jipsen, H.A. Priestley, H. Rose, E.T. Schmidt, S.E. Schmidt, F. Wehrung, R. Wille Creator: Pudlák, Pavel Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Pavel Pudlák Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
3. Giovanni Sambin, Jan M. Smith (eds.): Twenty-five years of constructive type theory: Proceedings of a Congress Held in Venice, October 1995 Creator: Pudlák, Pavel Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Pavel Pudlák Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
4. S. C. Coutinho: The mathematics of ciphers Creator: Pudlák, Pavel Format: bez média and svazek Type: model:article and TEXT Language: English Description: Autor recenze: Pavel Pudlák Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public