Recursive logic frames (Q5469107)
From MaRDI portal
scientific article; zbMATH DE number 5023772
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive logic frames |
scientific article; zbMATH DE number 5023772 |
Statements
Recursive logic frames (English)
0 references
16 May 2006
0 references
Generalized quantifiers
0 references
identities
0 references
compact logics
0 references
