Introduction to Boolean Algebras