Algebraic logic - Halmos Paul R (1962)