scientific article; zbMATH DE number 862507
From MaRDI portal
Publication:4871632
zbMath0849.03001MaRDI QIDQ4871632
No author found.
Publication date: 31 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Constructive real analysis (26E40)
Related Items (3)
In the Search of a Naive Type Theory ⋮ Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ Predicativity and structuralism in Dedekind's construction of the reals
This page was built for publication:
