No label defined (Q4247298)
From MaRDI portal
scientific article; zbMATH DE number 1302054
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1302054 |
Statements
29 July 2000
0 references
no-counterexample interpretation
0 references
prenex arithmetical formula
0 references
functionals
0 references
Diller-Nahm version
0 references
