TY  - BOOK
AU  - Блинов,Аркадий Леонидович
AU  - Петров,Василий Викторович
TI  - Элементы логики действий
SN  - 5020081507
PY  - 1991///
CY  - М.
PB  - Наука
KW  - логика
KW  - семантика акциональная
KW  - древовидные универсумы
N1  - Библиогр.: с. 228-231
ER  -