Metadata
Author: Literature
Data
German[de]
Sei Δ eine endliche Liste expliziter Definitionen neuer Symbole mittels derjenigen von L.
English[en]
Let Δ be a finite list containing explicit definitions of new symbols in terms of those occurring in L.