%0 Journal Article %A Troelstra, A. S. %T New sets of postulates for intuitionistic topology %J Compositio Mathematica %D 1968 %P 211-221 %V 20 %I Wolters-Noordhoff Publishing %U http://www.numdam.org/item/CM_1968__20__211_0/ %G en %F CM_1968__20__211_0