TY  - BOOK
AU  - Алексанян,А.А.
TI  - О локальной определимости типов функций алгебры логики
T2  - Сообщения по прикладной математике
PY  - 1982///
CY  - Москва
PB  - ВЦ АН СССР
KW  - алгебра логики
N1  - Библиогр.: с. 30 (10 назв.)
ER  -