TY  - BOOK
AU  - Таванец,П.В.
TI  - Исследование логических систем: сборник статей посвящ. С. А. Яновской
PY  - 1970///
CY  - М.
PB  - Наука
KW  - Яновская С. А.
KW  - Математическая логика
KW  - Сборники
ER  -