TY - JOUR AU - Yu. M. Smirnov TI - On completeness of proximity spaces. II JO - Trudy Moskovskogo matematičeskogo obŝestva PY - 1955 SP - 421 EP - 438 VL - 4 UR - http://geodesic.mathdoc.fr/item/MMO_1955_4_a8/ LA - ru ID - MMO_1955_4_a8 ER -