TY  - BOOK
AU  - Таванец, П.В.
ED  - Институт философии
TI  - Применение логики в науке и технике
PY  - 1960///]
CY  - Москва]
PB  - Изд-во Акад. наук СССР
KW  - Математическая логика
KW  - Сборники
KW  - psbo
KW  - Логика
N2  - Библиогр. в конце статей
ER  -