No label defined (Q4314309)
From MaRDI portal
scientific article; zbMATH DE number 691421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 691421 |
Statements
21 November 1994
0 references
computational mathematics
0 references
expository paper
0 references
strategies to extract computational information from proofs in formal systems
0 references
formal arithmetic
0 references
subsystem of analysis
0 references
