Algebraic logic - Halmos, Paul R. (New York Chelsea, 1962)