В. Л. Матросов

Теория алгоритмов

Операторы преобразования для краевых задач, интегральных представлений и восстановления зависимостей

Математическая логика