Just to note that there is a new entry in the Stanford Encyclopedia of Philosophy, on Set Theory: Constructive and Intuitionistic ZF, by Laura Crosilla. I’m out of my comfort zone here, but I found this a very interesting and helpful piece. The SEP really is going from strength to strength, and the logic/phil maths entries are most certainly of a fine standard.