Математическая логика и теория алгоритмов Секвенция Вариант 30 САМГТУ
Для просмотра заданий к данной работе необходимо открыть соответствующие демофайлы