С.Л. Кузнецов. Структуры с итерацией Клини и их логики