scientific article
From MaRDI portal
Publication:3138828
zbMath0794.03078MaRDI QIDQ3138828
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano arithmeticprovably recursive functionsHoward ordinalslow-growing hierarchyprogram-extraction system
First-order arithmetic and fragments (03F30) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (5)
Program extraction from classical proofs ⋮ Type-theoretic approaches to ordinals ⋮ Proof-theoretic notions for software maintenance ⋮ Total sets and objects in domain theory ⋮ Well-ordering proofs for Martin-Löf type theory
This page was built for publication:
