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