Second order predicate calculus

Redirect to:

  • Second-order logic