Boolean Algebras and Logic - Cheng Hao (2008)