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

(Исчисление натурального вывода): .