Boolean Algebra and Its Applications (Dover Books on Mathematics)