Hilbert's Programs and Beyond
External book reviews (00A17) Philosophy of mathematics (00A30) Collections of reprinted articles (00B60) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication: Hilbert's Programs and Beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4983356)