Mathematical Logic And Boolean Algebra