Logic and Boolean Algebra - Bradford Henry Arnold