Лекция 11. С.Л.Кузнецов. Алгебры Клини с делениями и их логики