Logic As Algebra by Steven Givant, Paul Halmos & Steven R. Givant