scientific article; zbMATH DE number 3065102
From MaRDI portal
Publication:5804274
zbMath0042.27803MaRDI QIDQ5804274
Publication date: 1951
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Collected or selected works; reprintings or translations of classics (01A75) Mathematics in general (00A05)
Related Items (8)
Constructing the real numbers in HOL ⋮ Analysis in a formal predicative set theory ⋮ Verifying differentiability without calculating the derivative ⋮ Horizon-switching predictive set-point tracking under input-increment saturations and persistent disturbances ⋮ Frege's theorem and his logicism ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ A conversation with Piet Groeneboom ⋮ Is it mathematics or is it school mathematics?
This page was built for publication:
