On the closure operator and the closure system of many sorted sets (1996)

by Artur Korniłowicz
Venue:Journal of Formalized Mathematics
Citations:4 - 1 self