Open WIKI
Home
Sources
About
Contacts
⯈
☰
Uninterpreted function
Uninterpreted function
is a Type of function in mathematical logic.