Algebraic logic - Halmos, Paul R. 1916-2006 (Oxford Univ. Press, 1999)