TY - JOUR AU - D. Randolph Johnson AU - Don A. Mattson TI - Some applications of non-standard analysis to proximity spaces JO - Colloquium Mathematicum PY - 1975 SP - 17 EP - 24 VL - 34 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/cm-34-1-17-24/ DO - 10.4064/cm-34-1-17-24 LA - en ID - 10_4064_cm_34_1_17_24 ER -