Заславский, Игорь Дмитриевич Симметрическая конструктивная логика/ Սիմետրիկ կոնստրուկտիվ լոգիկա Игорь Дмитриевич Заславский; Академия наук Армянской ССР, Вычислительный центр - Ереван: Изд. акад. наук, 1978. - 279с. Библиогр.:с.272-279 Subjects--Topical Terms: Математика--Математическая логика Dewey Class. No.: 51.01:16