Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933
DOI10.1017/BSL.2014.27zbMATH Open1336.00106OpenAlexW2332201394MaRDI QIDQ2795204
Publication date: 18 March 2016
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2014.27
History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) 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 in general (including proof-theoretic semantics) (03F03) External book reviews (00A17)
Related Items (2)
This page was built for publication: Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2795204)