First-order logic with equality

Redirect to:

• First-order logic