TY  - BOOK
AU  - Заславский,Игорь Дмитриевич
AU  - Минц,Г.Е.
ED  - Вычислительный Центр АН Армянской ССР
TI  - Симметрическая конструктивная логика
PY  - 1978///
CY  - Ереван
PB  - Изд-во АН АрмССР
KW  - Математическая логика
N1  - Библиогр. с. 272 - 279
ER  -