bn:03654577n
Noun Concept
AR
No term available
EN
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. Wikipedia
English:
logic
model theory
universal algebra
mathematical logic
Relations
Sources