The computational content of classical arithmetic (Q3001090)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The computational content of classical arithmetic |
scientific article |
Statements
31 May 2011
0 references
math.LO
0 references