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