Bulletin of the London Mathematical Society · 1978 · 107 citations · 0 references
Natural SciencesComputer ScienceMathematicsFormal MethodsLogicSet TheoryAxiomatic Set TheoryBoolean AlgebraIndependence ResultsModel TheoryPredicate LogicBoolean-valued ModelsIndependence ProofsSet-theoretic Proofs
By J. L. Bell: pp. 126. $5.95.(Clarendon Press, Oxford Logic Guides, 1977).