Boolean-Valued Models and Independence Proofs in Set Theory (Oxford Logic Guides, 12) by John L. Bell | Menrva Books | MenrvaBooks