Logic And Boolean Algebra by Bradford Henry Arnold