Zuzana Haniková

Axiomatic theory of hereditarily finite sets and its fragments

by Štěpán Holub and Zuzana Haniková