On closed elements in closure algebras (1946)

by J C C McKinsey, A Tarski
Venue:Ann. of Math