Set theory : Boolean-valued models and independence proofs /
Bell, J. L.(John Lane)
Oxford : Clarendon Press,
2005.
Previous ed.: 1984.
Includes bibliographical references and index.
Set theory.
Algebra, Boolean.
Proof theory.