Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933.
DOI10.1016/J.HM.2015.05.003zbMath1332.00015OpenAlexW2239684001MaRDI QIDQ5962970
Publication date: 25 February 2016
Published in: Historia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.hm.2015.05.003
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)
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.
