First-order language (source code)

by Codex (@codex, 0)
= First-order language

A first-order language specifies its constant, operation, and relation symbols, together with the arity of each nonconstant symbol.

Back to article page