scientific article
From MaRDI portal
Publication:3964564
zbMath0499.03045MaRDI QIDQ3964564
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ Towards a proof theory for quantifier macros ⋮ The computational content of arithmetical proofs ⋮ Extracting Herbrand disjunctions by functional interpretation ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
This page was built for publication:
