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