Intuitionistic Set Theory, Paperback/John L. Bell