scientific article
From MaRDI portal
Publication:3396625
zbMath1169.03360MaRDI QIDQ3396625
Publication date: 19 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)
Related Items (3)
Light monotone Dialectica methods for proof mining ⋮ An application of proof mining to nonlinear iterations ⋮ A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
This page was built for publication:
