Симметрическая конструктивная логика - Заславский И. Д. Игорь Дмитриевич (Ереван, Изд-во АН Армянской ССР, 1978)