Function symbol (logic)

Redirect to:

• Function symbol#Uninterpreted functions