Complete lattices. (1991)

by Grzegorz Bancerek
Venue:Formalized Mathematics,