Introduction to Boolean Algebras - Halmos, Paul.; Givant, Steven; SpringerLink (Online service) (New York, NY : Springer New York, 2009)
Keywords: Mathematics; Algebra; Logic, Symbolic and mathematical; Mathematics; Order, Lattices, Ordered Algebraic Structures; Mathematical Logic and Foundations