Algebraic logic - Halmos, Paul R. 1916-2006 (Chelsea Publishing Company, 1962)