On the Notion of Substitution (Q4821649)
From MaRDI portal
scientific article; zbMATH DE number 2109009
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Notion of Substitution |
scientific article; zbMATH DE number 2109009 |
Statements
On the Notion of Substitution (English)
0 references
21 October 2004
0 references
axiomatization for the concept of substitution
0 references
two-sorted structures
0 references
substitution logos
0 references
