Алгебраическая модель конструктивной логики: монография