TY - JOUR T1 - SOME TOPOLOGICAL-SPACES WHICH ARE UNIVERSAL FOR INTUITIONISTIC PREDICATE LOGIC JO - P K NED AKAD A MATH PY - 1982/06/14 AU - MOERDIJK I ED - VL - 85 IS - 2 SP - 227 EP - 235 Y2 - 2025/12/08 ER -