Introduction To Boolean Algebras door Paul R. Halmos & Steven R. Givant