No label defined (Q4938557)
From MaRDI portal
scientific article; zbMATH DE number 1405578
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1405578 |
Statements
24 July 2000
0 references
computability
0 references
effectiveness
0 references
decidable theories
0 references
decidable structures
0 references
computable structures
0 references
effective model theory
0 references
categoricity
0 references
