TY - BOOK AU - Halmos Paul R TI - Algebraic logic U1 - B2:(R1), K2 PY - 1962/// ER -