Teória množín /
Einführung in die Mengenlehre : die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo /
Mengenlehre /
Teorie množin. /
Pojednání o jevech povstávajících na množstvích /
Vyprávění o kráse novobarokní matematiky : souborné vydání Rozprav o teorii množin /
Tatra mountains mathematical publications. Vol. 1., Proceedings of the international conference on fuzzy sets theory and its applications, Liptovský Mikuláš, February 17-21, 1992. /
Some applications of fuzzy set theory in data analysis. /
Nová infinitní matematika. II., Nová teorie množin a polomnožin /
Podivuhodný květ českého baroka : první přednášky o teorii množin /
Nová infinitní matematika. I., Velká iluze matematiky 20. století /
Teória množín a teoretická aritmetika /
Proof /
Combinators, λ-terms and proof theory.
Ako vyzerajú čísielka predstavy a riekanky o čísielkach /
Poznám čísla!
Čísla /
Objavujeme svet! Čísla /
Proof theory : the first step into impredicativity /
Matematické základy informatiky /
Mýtus nekonečno /
Košická matematická škola teórie množín a topológie : seminár prof. Leva Bukovského. prvý diel /