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