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