Logic as algebra - Halmos, Paul R. 1916-2006; Givant, Steven (Math. Assoc. of America, 1998)