Families of sets (1990)

by Beata Padlewska
Venue:Formalized Mathematics