Algebraic logic - Halmos, Paul Richard (Chelsea, 1962)