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