Лекция 18 часть 1
Требуемые условия завершения
унификация термов
Нажмите на ссылку Лекция 18 часть 1, чтобы открыть ресурс.