scientific article; zbMATH DE number 3578859

zbMATH Open0372.02018MaRDI QIDQ4149746FDOQ4149746

Authors: G. E. Mints 

Publication date: 1976

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (4)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4149746)