Algebraic logic I: monadic boolean algebras (1955)

by P Halmos
Venue:Compositio Mathematicae