Second order predicate calculus
Home
Wiki
Redirect to:
Second-order logic