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

Первопорядковая формула: .