Some remarks on Hilbert's program
From MaRDI portal
Publication:2736243
zbMATH Open0999.01018MaRDI QIDQ2736243
Publication date: 29 August 2001
History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03)
Related Items (3)
Hilbert's Programs: 1917–1922 ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication: Some remarks on Hilbert's program
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736243)