BOOLEAN‐VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY Second Edition (Oxford Logic Guides, 12)