TY  - BOOK
AU  - Аверьянов, А.О.
TI  - Теорема редукции Левенгейма для логики второго порядка и ее приложения к теории битопологических пространств
T2  - Препринт ПОМИ
VL  - Р-4-92
PY  - 1992///
CY  - СПб.
PB  - ПОМИ
N2  - Библиогр.: с. 9-10
ER  -