TY - BOOK AU - Halmos, P.R. TI - Algebraic logic PB - Chelsea. New York, U.S.A. ER -