Normal view
MARC view
Model theory(Topical Term)
Machine generated authority record
Work cat.: (OSt)8719: Bell, J. L. (John Lane) 17622, Boolean-valued models and independence proofs in set theory /, 1985.