Book review of: William Ewald (ed.) and Wilfried Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933
From MaRDI portal
Publication:482535
zbMath1302.00037MaRDI QIDQ482535
Publication date: 2 January 2015
Published in: European Mathematical Society Newsletter (Search for Journal in Brave)
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: William Ewald (ed.) and Wilfried Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933