Classification of Quantifier Prefixes Over Diophantine Equations (Q3926566)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classification of Quantifier Prefixes Over Diophantine Equations |
scientific article |
Statements
Classification of Quantifier Prefixes Over Diophantine Equations (English)
0 references
1981
0 references
arithmetical sentences
0 references
