This page shows all presentations of this author published in EasyChair Smart Slide.
Formalization of fragments of the theory of hereditarily finite sets
Zuzana Haniková and Štěpán Holub