Partially ordered sets (1990)

by Wojciech A Trybulec
Venue:Formalized Mathematics