Realization of analysis into Explicit Mathematics (Q4328839)
From MaRDI portal
scientific article; zbMATH DE number 1735299
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Realization of analysis into Explicit Mathematics |
scientific article; zbMATH DE number 1735299 |
Statements
Realization of analysis into Explicit Mathematics (English)
0 references
25 September 2002
0 references
explicit mathematics
0 references
interpretation
0 references
second-order arithmetic
0 references
