Полный англо-русский словарь
Последовательность (выполененных) шагов логического вывода; проф. деривационная предыстория (выведенного системой утверждения)