Constructive and intuitionistic ZF, in: Stanford Encyclopedia of Philosophy, February 2009, available at the address: http://plato.stanford.edu/entries/set-theoryconstructive (0)

by L Crosilla