TY  - BOOK
AU  - Алексанян, А.
TI  - О локальной определимости типов функций алгебры логики
PY  - 1982///
CY  - Москва
KW  - ბულის რგოლები
ER  -