TY  - JOUR
AU  - E. Z. Dyment
TI  - Recursive metrizability of enumerated topological spaces and bases of effective linear topological spaces
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 1984
SP  - 59
EP  - 61
IS  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IVM_1984_8_a10/
LA  - ru
ID  - IVM_1984_8_a10
ER  -