TY  - BOOK
AU  - Таванец,Петр Васильевич
ED  - Академия наук СССР
TI  - Методы логического анализа: [Сборник статей]
PY  - 1977///
CY  - Москва
PB  - Наука
N1  - Библиогр. в конце ст
ER  -