авторВ. Л. МатросовМатематическая логикаОператоры преобразования для краевых задач, интегральных представлений и восстановления зависимостейТеория алгоритмов
Буклинкер
