Second order logic
Redirect to:
Second-order logic