No label defined (Q4395569)
From MaRDI portal
scientific article; zbMATH DE number 1163945
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1163945 |
Statements
11 June 1998
0 references
complexity of theories with second-order quantifiers
0 references
classification of first-order theories
0 references
quasivarieties
0 references