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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MMO_1955_4_a8/
LA  - ru
ID  - MMO_1955_4_a8
ER  -