Many-sorted first-order logic

Redirect to:

• First-order logic#Many-sorted logic