Словарь по логике

(Субординатный вывод): .