Algebraic Logic - Halmos, Paul R.