No label defined (Q4697297)
From MaRDI portal
scientific article; zbMATH DE number 221855
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 221855 |
Statements
29 June 1993
0 references
Herbrand Theorem
0 references
Gödel's correction
0 references
counterexamples
0 references
numerical bounds
0 references