Algebraic logic - Halmos, Paul R. (Paul Richard), 1916-2006 (Chelsea Publ., 1962)