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

(Исчисление гильбертовского типа): .