scientific article; zbMATH DE number 6257294
From MaRDI portal
Publication:5747346
zbMath1283.03005MaRDI QIDQ5747346
Publication date: 12 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Proof theory and constructive mathematics (03Fxx)
Related Items (5)
Searches for the origins of the epistemological concept of model in mathematics ⋮ M ⋮ Hilbert’s Axiomatisches Denken ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
This page was built for publication:
