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

Второпорядковая формула: .