scientific article; zbMATH DE number 3531352

zbMATH Open0341.02020MaRDI QIDQ4108298

G. Mints

Publication date: 1975

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

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (3)

Majorizing provably recursive functions in fragments of PA ⋮ Arithmetical conservation results ⋮ Pointwise Transfinite Induction and a Miniaturized Predicativity

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 Q4108298)