ALgebraic logic - Halmos Paul R. (1962)