scientific article; zbMATH DE number 3797741
From MaRDI portal
Publication:4742775
zbMath0506.03015MaRDI QIDQ4742775
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Proof theory of reflection ⋮ Fixed points in Peano arithmetic with ordinals ⋮ An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe
