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

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