William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 (e-bk); 978-3-540-20578-4 (hbk). Pp. xxv + 1062
DOI10.1093/PHILMAT/NKU031zbMath1358.00057OpenAlexW2025877300MaRDI QIDQ2965623
Publication date: 3 March 2017
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nku031
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: William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 (e-bk); 978-3-540-20578-4 (hbk). Pp. xxv + 1062
