Introduction to meet-continuous topological lattices (1998)

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