On a Problem of J. Paris (Q5441123)
From MaRDI portal
scientific article; zbMATH DE number 5233217
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a Problem of J. Paris |
scientific article; zbMATH DE number 5233217 |
Statements
On a Problem of J. Paris (English)
0 references
7 February 2008
0 references
fragments of Peano arithmetic
0 references
collection
0 references
induction
0 references
end extension
0 references
