scientific article; zbMATH DE number 3578859

zbMath0372.02018MaRDI QIDQ4149746

Grigori Mints

Publication date: 1976

Full work available at URL: https://eudml.org/doc/66281

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)

Related Items (4)

On some generalizations of the primitive recursive arithmetic ⋮ More on lower bounds for partitioning \(\alpha\)-large sets ⋮ Herbrand analyses ⋮ Fragments of arithmetic

This page was built for publication: